Home > Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Book Informaton
Author
Arie Gurfinkel; Sanjit A. Seshia
Series
Lecture Notes in Computer Science
Volume
9593
Year of Publication
1st ed. 2016
Publisher
Springer International Publishing
Pages
IX, 223
Language
EN
ISBN
9783319296128, 9783319296135, 3319296124
ARI Id
1664774187038
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 14 of 14 entries
Chapters/Headings | Author(s) | Pages | Info |
I-IX | |||
1-18 | |||
19-39 | |||
40-60 | |||
61-72 | |||
73-93 | |||
94-109 | |||
110-123 | |||
124-141 | |||
142-164 | |||
165-182 | |||
183-201 | |||
202-222 | |||
223-223 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 14 of 14 entries
Topics