APA (7th ed.) Citation

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. https://doi.org/10.1007/3-540-48118-4

Chicago Style (17th ed.) Citation

FM Toulouse and 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. https://doi.org/10.1007/3-540-48118-4.

MLA (9th ed.) Citation

FM Toulouse and 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. https://doi.org/10.1007/3-540-48118-4.