Description
About this book
Formal Methods and Software Engineering — 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. An English-language digital edition by Lindsay Groves (Editor); Jing Sun (Editor), available in PDF.
Edition details
- Author / contributors: Lindsay Groves (Editor); Jing Sun (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: October 21, 2013
- Language: English
- ISBNs: 9783642412011; 9783642412028
- Digital formats: PDF





Reviews
There are no reviews yet.