Luca Martini
AuthID: R-00H-5NJ
1
TITLE: Using Control Dependencies for Space-Aware Bytecode Verification
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Comput. J., VOLUME: 49, ISSUE: 2
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Comput. J., VOLUME: 49, ISSUE: 2