APA (7th ed.) Citation

International Symposium of Formal Methods Europe Newcastle upon Tyne, England, 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.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Newcastle upon Tyne, England, 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.

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.