APA (7th ed.) Citation

SpringerLink (Online service), Dean, C. N., & Boute, R. T. (2004). Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (1st ed. 2004.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b102075

Chicago Style (17th ed.) Citation

SpringerLink (Online service), C. Neville Dean, and Raymond T. Boute. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b102075.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. 1st ed. 2004. Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b102075.