Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers - Agostino Cortesi ((Lecture Notes in Computer Science))