Nicoletta de Francesco


AuthID: R-00H-5NQ

Publications Awaiting Confirmation

1
TITLE: Decomposing bytecode verification by abstract interpretation
AUTHORS: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2008, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service