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.) CitationInternational 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.) CitationInternational 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.