Publications

A Formal Executable Semantics of the Javacard Platform

AuthID
P-000-XTA

Author(s)

Barthe, G

Dufay, G

Jakubiec, L

Serpette, B

de Sousa, SM

Editor(s)

Sands, D

Document Type

Article

Year published

2001

Published

in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 2028, Pages: 302-319 (18)

Conference

10Th European Symposium on Programming, Date: APR 02-06, 2001, Location: GENOA, ITALY, Sponsors: Assoc Comp Machinery, European Assoc Programming Language & Syst, European Assoc Software Sci & Technol, European Assoc Theoret Comp Sci, ELSAG, Fdn Cassa Risparmio Genoa Imperia, INDAM, Grp Nazl Informat Mat, Marconi, Microsoft Res, Telecom Italia, TXT Solut, Host: UNIV GENOA

Indexing