FM 2011: Formal Methods
by Michael Butler, Wolfram SchulteEstimated delivery 3-12 business days
Format Paperback
Condition Brand New
Description This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.