Cinzia Bernardeschi
AuthID: R-00G-XF9
21
TÃTULO: A Space-Aware Bytecode Verifier for Java Cards
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 141, NÚMERO: 1
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2005, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 141, NÚMERO: 1
22
TÃTULO: Java bytecode verification with dynamic structures
AUTORES: Cinzia Bernardeschi; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA
AUTORES: Cinzia Bernardeschi; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications in Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP