Citace podle APA (7th ed.)

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