A Formal Executable Semantics of the Javacard Platform

AuthID
 P-000-XTA
5
Author(s)
Dufay, G
·
Jakubiec, L
·
1
Editor(es)
Sands, D
Tipo de Documento
Article
Year published
2001
Publicado
in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 2028, Páginas: 302-319 (18)
Conference
10Th European Symposium on Programming, Date: APR 02-06, 2001, Location: GENOA, ITALY, Patrocinadores: 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
Wos®
Scopus®
Dblp®/pt/publications/view/30538
Publication Identifiers
DBLP: conf/esop/BartheDJSS01
SCOPUS: 2-s2.0-84945253453
Wos: WOS:000174203100020
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service