APA (7th ed.) Citation

International Conference on Integrated Formal Methods Turku, Finland, Butler, M., Petre, L., & Sere, K. (2002). Integrated formal methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Integrated Formal Methods Turku, Finland, Michael Butler, Luigia Petre, and K. Sere. Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : Proceedings. Berlin ; New York: Springer, 2002.

MLA (9th ed.) Citation

International Conference on Integrated Formal Methods Turku, Finland, et al. Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : Proceedings. Springer, 2002.