APA (7th ed.) Citation

International Conference on Integrated Formal Methods Turku, Finland, SpringerLink (Online service), Butler, M., Petre, L., & Sere, K. (2002). Integrated formal methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings. Springer. https://doi.org/10.1007/3-540-47884-1

Chicago Style (17th ed.) Citation

International Conference on Integrated Formal Methods Turku, Finland, SpringerLink (Online service), 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. https://doi.org/10.1007/3-540-47884-1.

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. https://doi.org/10.1007/3-540-47884-1.