Publications

Tool-Assisted Specification and Verification of the Javacard Platform

AuthID
P-00G-ZTX

Author(s)

Barthe, G

Courtieu, P

Dufay, G

de Sousa, SM

Editor(s)

Kirchner,H;Ringeissen,C

Document Type

Proceedings Paper

Year published

2002

Published

in Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 2422, Pages: 41-59 (18)

Indexing

Scopus^®

Dblp^®/en/publications/view/556893

Crossref^®7

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/3-540-45719-4_4

Dblp: conf/amast/BartheCDS02

Scopus: 2-s2.0-33745220434

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Tool-Assisted Specification and Verification of the Javacard Platform

Useful Links

Get Help

Federated Authentication (Click on the image)

Tool-Assisted Specification and Verification of the Javacard Platform

Useful Links

Get Help