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