1
TITLE: A Space-Aware Bytecode Verifier for Java Cards
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2005, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 141, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1