APA (7th ed.) Citation

International Symposium of Formal Methods Europe Odense, Denmark, Woodcock, J., & Larsen, P. G. (1993). FME '93: Industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Odense, Denmark, Jim Woodcock, and P. G. Larsen. FME '93: Industrial-strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Odense, Denmark, et al. FME '93: Industrial-strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 Proceedings. Springer-Verlag, 1993.