TY  - BOOK
AU  - Gurfinkel,Arie
AU  - Ganesh,Vijay
ED  - SpringerLink (Online service)
TI  - Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I 
T2  - Lecture Notes in Computer Science,
SN  - 9783031656279
AV  - QA76.758 
U1  - 005.1 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Software engineering
KW  - Artificial intelligence
KW  - Algorithms
KW  - Software Engineering
KW  - Artificial Intelligence
KW  - Design and Analysis of Algorithms
N1  - Open Access
N2  - This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024
UR  - https://doi.org/10.1007/978-3-031-65627-9
ER  -