Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

E. Allen Emerson Kedar S. Namjoshi Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings 3855 2006 3-540-31139-4 VMCAI Lecture Notes in Computer Science Springer db/conf/vmcai/vmcai2006.html