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

(2008). Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings.

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

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.