TY  - BOOK
AU  - Shuvendu K. Lahiri, Chao Wang.
TI  - Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
SN  - 9783030532888
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Software engineering. Computers. Computer organization. Artificial intelligence. Computer hardware. Software Engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Artificial Intelligence. Information Systems and Communication Service. Computer Hardware
UR  - https://doi.org/10.1007/978-3-030-53288-8
ER  -