International Symposium of Formal Methods Europe Oxford, England, Gaudel, M., & Woodcock, J. C. P. (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 / Marie-Claude Gaudel, James Woodcock, (eds.): 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.) CitationInternational Symposium of Formal Methods Europe Oxford, England, M.-C Gaudel, and J. C. P. Woodcock. 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 / Marie-Claude Gaudel, James Woodcock, (eds.): 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 ; London: Springer, 1996.
MLA (9th ed.) CitationInternational 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 / Marie-Claude Gaudel, James Woodcock, (eds.): 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.