Proceedings/Recueil Des Communications Année : 2023

Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}

Akash Lal

Dates et versions

hal-04465435 , version 1 (19-02-2024)

Identifiants

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⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

  • More