APA (7th ed.) Citation

International Symposium of Formal Methods Europe Newcastle upon Tyne, England, SpringerLink (Online service), Fitzgerald, J., Hayes, I., & Tarlecki, A. (2005). FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings. Springer. https://doi.org/10.1007/b27882

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Newcastle upon Tyne, England, SpringerLink (Online service), John Fitzgerald, Ian Hayes, and Andrzej Tarlecki. FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : Proceedings. Berlin ; New York: Springer, 2005. https://doi.org/10.1007/b27882.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Newcastle upon Tyne, England, et al. FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : Proceedings. Springer, 2005. https://doi.org/10.1007/b27882.