Results
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
© 2017
Soft cover - Print (ISBN: 978-3-319-72307-5)
Electronic (ISBN: 978-3-319-72308-2)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-72308-2