APA-ийн эшлэл(7 дахь хэвлэлт)

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

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

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 -ийн эшлэл (9 дэх хэвлэлт)

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.