TY  - BOOK
AU  - Enea,Constantin
AU  - Lal,Akash
ED  - SpringerLink (Online service)
TI  - Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III 
T2  - Lecture Notes in Computer Science,
SN  - 9783031377099
AV  - QA76.758 
U1  - 005.1 23
PY  - 2023///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Software engineering
KW  - Artificial intelligence
KW  - Algorithms
KW  - Computer engineering
KW  - Computer networks 
KW  - Software Engineering
KW  - Artificial Intelligence
KW  - Design and Analysis of Algorithms
KW  - Computer Engineering and Networks
N1  - Open Access
N2  - The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023
UR  - https://doi.org/10.1007/978-3-031-37709-9
ER  -