World Congress on Formal Methods in the Development of Computing Systems, Wing, J. M., Woodcock, J., & Davies, J. (1999). FM'99 - Formal methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Springer-Verlag.
Cita Chicago Style (17a ed.)World Congress on Formal Methods in the Development of Computing Systems, Jeanette M. Wing, Jim Woodcock, y Jim Davies. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings. New York [etc.]: Springer-Verlag, 1999.
Cita MLA (9a ed.)World Congress on Formal Methods in the Development of Computing Systems, et al. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings. Springer-Verlag, 1999.
