FM Newcastle-upon-Tyne. (2005). FM 2005: Formal methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)FM Newcastle-upon-Tyne. FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005 ; Proceedings. Berlin [u.a.]: Springer, 2005.
MLA-Zitierstil (9. Ausg.)FM Newcastle-upon-Tyne. FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005 ; Proceedings. Springer, 2005.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.