FME Pisa. (2003). FME 2003 - formal methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings. Springer.
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.
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.