An edition of Computer Aided Verification
(2021)
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II
by Alexandra Silva and K. Rustan M. Leino
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II
2021, Springer International Publishing AG
in English
3030816877 9783030816872
|
aaaa
|
|
2
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part I
2021, Springer International Publishing AG
in English
3030816842 9783030816841
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| September 28, 2021 | Created by ImportBot | import new book |