(2004). Teaching formal methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Teaching Formal Methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; Proceedings. Berlin u.a: Springer, 2004.
MLA-Zitierstil (9. Ausg.)Teaching Formal Methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; Proceedings. Springer, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.