(2004). Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).
Chicago-Zitierstil (17. Ausg.)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
MLA-Zitierstil (9. Ausg.)Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : Proceedings / C. Neville Dean, Raymond T. Boute (eds.). 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.