Nicoletta de Francesco
AuthID: R-00H-5NQ
You have no permission to see this content: profileOfResearchers/view
Please sign in.1
TÃTULO: Decomposing bytecode verification by abstract interpretation
AUTORES: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2008, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 1
AUTORES: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2008, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 1
