Verified Software. Theories, Tools, and Experiments
Subtitle: 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 199
ISBN-13: 9783319488684
Subjects: Computer programs