Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Agostino Cortesi Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers VMCAI Lecture Notes in Computer Science 2294 Springer 2002 3-540-43631-6 db/conf/vmcai/vmcai2002.html