Proceedings/Recueil Des Communications
Année : 2023
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04465435
Soumis le : lundi 19 février 2024-12:15:55
Dernière modification le : mercredi 20 août 2025-10:49:18
Citer
Constantin Enea, Akash Lal. Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}. Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}, 13964, Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-37706-8⟩. ⟨hal-04465435⟩
Collections
51
Consultations
0
Téléchargements