APA Edition Citation

World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, Wing, J. M., Woodcock, J. C. P., & 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 / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.): World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Springer.

Chicago Edition Citation

World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, Jeannette M. Wing, J. C. P. Woodcock, and Jim Davies. FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.): World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings. Berlin ; London: Springer, 1999.

MLA Edition Citation

World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, et al. FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.): World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : Proceedings. Springer, 1999.