TY  - BOOK
AU  - Shoham,Sharon
AU  - Vizel,Yakir
TI  - Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
T2  - Lecture Notes in Computer Science Series
SN  - 9783031131882
AV  - QA76.758 
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing AG
KW  - Electronic books
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=7070165
ER  -