APA (7th ed.) Citation

(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

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15 - 18, 2002 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2002. https://doi.org/10.1007/3-540-47884-1.

MLA (9th ed.) Citation

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.