APA (7th ed.) Citation

International Symposium of Formal Methods Europe Copenhagen, Denmark, SpringerLink (Online service), Eriksson, L., & Lindsay, P. A. (2002). FME 2002: Formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Copenhagen, Denmark, SpringerLink (Online service), L.-H Eriksson, and Peter Alexander Lindsay. FME 2002: Formal Methods--getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : Proceedings. Berlin ; New York: Springer, 2002.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Copenhagen, Denmark, et al. FME 2002: Formal Methods--getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : Proceedings. Springer, 2002.