Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Radhia Cousot Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings 3385 2005 3-540-24297-X VMCAI Lecture Notes in Computer Science Springer db/conf/vmcai/vmcai2005.html