@article{1472413,
      note = {Includes author index.},
      author = {Enea, Constantin, and Lal, Akash,},
      url = {http://library.usi.edu/record/1472413},
      title = {Computer aided cerification : 35th International  Conference, CAV 2023, Paris, France, July 17-22, 2023,  Proceedings., Part I /. CAV (Conference)},
      abstract = {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.},
      doi = {https://doi.org/10.1007/978-3-031-37706-8},
      recid = {1472413},
      pages = {1 online resource (xxix, 488 pages) :},
}