Description
About this book
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: John Fitzgerald (Editor); Constance Heitmeyer (Editor); Stefania Gnesi (Editor); Anna Philippou (Editor)
- Publisher: Springer International Publishing
- Publication date: November 06, 2016
- Language: English
- ISBNs: 9783319489889; 9783319489896
- Digital formats: PDF





Reviews
There are no reviews yet.