Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
by ,
- Language
- English
- Published in
- Publisher
- Springer Nature
- Pages
- 669
- ISBN
- 9783030532888
Subjects
Original edition details
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Originally published in 2020
Original language
English
Original publisher Springer International Publishing
Other editions (3)
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
2020 • Springer International Publishing
English
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer International Publishing
English
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer Nature
English
