FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Conference: FM2011

Editors

Michael Butler

This author has not been identified. Look up 'Michael Butler' in Google

Wolfram Schulte

This author has not been identified. It may be one of the following persons: Look up 'Wolfram Schulte' in Google