Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bernhard Steffen Giorgio Levi Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings VMCAI Lecture Notes in Computer Science 2937 Springer 2004 3-540-20803-8 db/conf/vmcai/vmcai2004.html