APA (7th ed.) Citation

International Symposium of Formal Methods Europe Turku, Finland, SpringerLink (Online service), Cuellar, J., Maibaum, T. S. E., & Sere, K. (2008). FM 2008: Formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings. Springer. https://doi.org/10.1007/978-3-540-68237-0

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Turku, Finland, SpringerLink (Online service), Jorge Cuellar, Thomas S. E. Maibaum, and K. Sere. FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : Proceedings. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-68237-0.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Turku, Finland, et al. FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-68237-0.