APA (7th ed.) Citation

International Symposium of Formal Methods Europe Limerick, Limerick, Ireland, SpringerLink (Online service), Butler, M., & Schulte, W. (2011). FM 2011: formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer.

Chicago Style (17th ed.) Citation

International Symposium of Formal Methods Europe Limerick, Limerick, Ireland, SpringerLink (Online service), Michael Butler, and Wolfram Schulte. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer, 2011.

MLA (9th ed.) Citation

International Symposium of Formal Methods Europe Limerick, Limerick, Ireland, et al. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer, 2011.