Nicoletta de Francesco


AuthID: R-00H-5NQ

Publicações a aguardar confirmação

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
INDEXADO EM: Scopus DBLP CrossRef: 1

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service