APA-ийн эшлэл(7 дахь хэвлэлт)
Mihaela Bobaru, K. H. NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Mihaela Bobaru, Klaus Havelund. NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Mihaela Bobaru, Klaus Havelund. NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.