Verified Software : Theories, Tools, and Experiments
Subtitle: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ...
Publisher: Springer
Published: Jan 29, 2016
Format: paperback
Number of pages: 232
ISBN-13: 9783319296128
Notes: Source title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... (Lecture Notes in Computer Science (9593))