Free Fm 2011: Formal Methods: 17Th International Symposium On Formal Methods, Limerick, Ireland, June 20 24, 2011. Proceedings

;