Verified Software. Theories, Tools, and Experiments
Subtitle: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised ...
Publisher: Springer
Published: Mar 14, 2020
Format: paperback
Number of pages: 209
ISBN-13: 9783030415990
Notes: Source title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised ... (Lecture Notes in Computer Science (12031))