Agostino Cortesi
AuthID: R-00H-7QB
1
TITLE: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
AUTHORS: Agostino Cortesi;
PUBLISHED: 2002, SOURCE: VMCAI, VOLUME: 2294
AUTHORS: Agostino Cortesi;
PUBLISHED: 2002, SOURCE: VMCAI, VOLUME: 2294
INDEXED IN: 
DBLP
DBLP