An edition of Software Verification
(2022)
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
by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, and Natasha Sharygina
Share
×Close
Last edited by openlibrary_covers
August 23, 2024 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
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
2022, Springer International Publishing AG
in English
3030955605 9783030955601
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created January 27, 2022
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 23, 2024 | Edited by openlibrary_covers | //covers.openlibrary.org/b/id/14758314-S.jpg |
| January 27, 2022 | Created by ImportBot | Imported from Better World Books record |