FM Limerick. (2011). FM 2011: Formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings. Springer.
Chicago Style (17th ed.) CitationFM Limerick. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011.
MLA (9th ed.) CitationFM Limerick. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; Proceedings. Springer, 2011.
Warning: These citations may not always be 100% accurate.