Home > Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Book Informaton
Author
Roderick Bloem; Rayna Dimitrova; Chuchu Fan; Natasha Sharygina
Series
Lecture Notes in Computer Science
Volume
13124
Year of Publication
1st ed. 2022
Publisher
Springer International Publishing
Pages
XIV, 197
Language
en
ISBN
9783030955601, 9783030955618
ARI Id
1665368051152
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 15 of 15 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xiv | |||
1-1 | |||
3-6 | |||
7-24 | |||
25-42 | |||
43-60 | |||
61-85 | |||
86-103 | |||
104-121 | |||
122-144 | |||
145-145 | |||
147-164 | |||
165-181 | |||
182-196 | |||
197-197 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 15 of 15 entries