Butler, M., & Schulte, W. (2011). FM 2011: Formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : proceedings. Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
MLA CitationButler, Michael, and Wolfram Schulte. FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24 2011 : Proceedings. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011.
Warning: These citations have been automatically generated and may not always be 100% accurate..