APA-ийн эшлэл(7 дахь хэвлэлт)
Jorge Cuellar, T. M. FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Jorge Cuellar, Tom Maibaum. FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Jorge Cuellar, Tom Maibaum. FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.