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 International Publishing
- Pages
- 669
- ISBN
- 9783030532871
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 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
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
2020 • Springer Nature
English