TY  - GEN
AB  - This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
AU  - Enea, Constantin,
AU  - Lal, Akash,
CN  - QA76.758
DO  - 10.1007/978-3-031-37706-8
DO  - doi
ID  - 1472413
KW  - Computer software
LK  - https://link.springer.com/10.1007/978-3-031-37706-8
N1  - Includes author index.
N2  - This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
SN  - 9783031377068
SN  - 3031377060
T1  - Computer aided cerification :35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
TI  - Computer aided cerification :35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.
UR  - https://link.springer.com/10.1007/978-3-031-37706-8
VL  - 13964
ER  -