Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
- Author
- Shuvendu K. Lahiri, Chao Wang
- Publisher
- Springer International Publishing;Springer
- Language
- English
- Edition
- 1st ed.
- Year
- 2020
- Page
- XVII, 669
- ISBN
- 9783030532871,9783030532888
- File Type
- pdf
- File Size
- 28.1 MiB
How to Download?!!!
Just click on START button on Telegram Bot