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 Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (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 Berlin Heidelberg : Imprint: Springer, 2011.
MLA (8th ed.) CitationSpringerLink (Online service), et al. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2011.
Warning: These citations may not always be 100% accurate.
