Agostino Cortesi
AuthID: R-00H-7QB
1
TÃTULO: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
AUTORES: Agostino Cortesi;
PUBLICAÇÃO: 2002, FONTE: VMCAI, VOLUME: 2294
AUTORES: Agostino Cortesi;
PUBLICAÇÃO: 2002, FONTE: VMCAI, VOLUME: 2294
INDEXADO EM: 
DBLP
DBLP