Verified Software : Theories, Tools, and Experiments
Subtitle: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Publisher: Springer London, Limited
Published: 2016
Language: eng
Number of pages: 223
ISBN-13: 9783319296135
Subjects: Computer programs