World Congress on Formal Methods in the Development of Computing Systems :Toulouse, Wing, J. M., Woodcock, J., & Davies, J. FM 99 - formal methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)World Congress on Formal Methods in the Development of Computing Systems :Toulouse, Jeannette Marie Wing, Jim Woodcock, và Jim Davies. FM 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : Proceedings. Berlin [etc.]: Springer.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)World Congress on Formal Methods in the Development of Computing Systems :Toulouse, 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.