APA (7th ed.) Citation

(2004). Teaching formal methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Teaching Formal Methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; Proceedings. Berlin u.a: Springer, 2004.

MLA (9th ed.) Citation

Teaching Formal Methods: CoLog Net/FME Symposium, TFM 2004, Ghent, Belgium, November 18 - 19, 2004 ; Proceedings. Springer, 2004.