(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.
Citace podle Chicago (17th ed.)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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..