APA (7th ed.) Citation

(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.) Citation

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. 2006.

MLA (9th ed.) Citation

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. 2006.