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 (17η εκδ.)SpringerLink (Online service), C. Neville Dean, και 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 εκδ.)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.
