Verified Software. Theories, Tools, and Experiments
Subtitle: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ...
Publisher: Springer
Published: Dec 15, 2017
Format: paperback
Number of pages: 224
ISBN-13: 9783319723075
Notes: Source title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science (10712))