(2004). Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
MLA -ийн эшлэл (9 дэх хэвлэлт)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.