FME Pisa. (2003). FME 2003 - formal methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings. Springer. https://doi.org/10.1007/b13229
Chicago-Zitierstil (17. Ausg.)FME Pisa. FME 2003 - Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; Proceedings. Berlin u.a: Springer, 2003. https://doi.org/10.1007/b13229.
MLA-Zitierstil (9. Ausg.)FME Pisa. FME 2003 - Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; Proceedings. Springer, 2003. https://doi.org/10.1007/b13229.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.