APA-ийн эшлэл(7 дахь хэвлэлт)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Margaria, T., & Steffen, B. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), Tiziana Margaria, ба Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques an DApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I. Cham, Suiza: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( Corfú, Grecia), et al. Leveraging Applications of Formal Methods, Verification and Validation: Specialized Techniques an DApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.