FM Toulouse & Wing, J. M. (1999). FM '99 - formal methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)FM Toulouse und Jeannette M. Wing. FM '99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; Proceedings. Berlin [u.a.]: Springer, 1999.
MLA-Zitierstil (9. Ausg.)FM Toulouse und Jeannette M. Wing. FM '99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 ; Proceedings. Springer, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.