Verified Software. Theories, Tools, and Experiments
Subtitle: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Publisher: Springer
Published: Nov 24, 2018
Format: paperback
Number of pages: 361
ISBN-13: 9783030035914
Notes: Source title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Lecture Notes in Computer Science (11294))