Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings

Lenore D. Zuck Paul C. Attie Agostino Cortesi Supratik Mukhopadhyay Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings VMCAI Lecture Notes in Computer Science 2575 Springer 2003 3-540-00348-7 db/conf/vmcai/vmcai2003.html