Description
About this book
Verified Software: Theorie, Tools, Experiments — 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. An English-language digital edition by Ernie Cohen (Editor); Andrey Rybalchenko (Editor), available in PDF.
Edition details
- Author / contributors: Ernie Cohen (Editor); Andrey Rybalchenko (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: January 15, 2014
- Language: English
- ISBNs: 9783642541070; 9783642541087
- Digital formats: PDF





Reviews
There are no reviews yet.