(2006). Verification, model checking, and abstract interpretation: 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi.
Chicago Style (17th ed.) CitationVerification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : Proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. 2006.
MLA (9th ed.) CitationVerification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : Proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. 2006.
Warning: These citations may not always be 100% accurate.