ISBN 9783319488684 books & textbook
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers (Programming and Software Engineering)
Blazy, Sandrine Chechik, Marsha
Springer /2016-11-08 Paperback / 213 Pages
isbn-10: 3319488686 / isbn-13: 9783319488684
