Description
About this book
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change — 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. An English-language digital edition by Tiziana Margaria (Editor); Bernhard Steffen (Editor), available in PDF.
Edition details
- Author / contributors: Tiziana Margaria (Editor); Bernhard Steffen (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: September 26, 2014
- Language: English
- ISBNs: 9783662452332; 9783662452349
- Digital formats: PDF





Reviews
There are no reviews yet.