APA (7th ed.) Citation

International Symposium of Formal Methods Europe Oxford, England, Woodcock, J., & Gaudel, M. (1996). FME '96, industrial benefit and advances in formal methods: Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Oxford, England, Jim Woodcock, and M.-C Gaudel. FME '96, Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : Proceedings. Berlin ; New York: Springer, 1996.

MLA (8th ed.) Citation

International Symposium of Formal Methods Europe Oxford, England, et al. FME '96, Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : Proceedings. Springer, 1996.