Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I / - Enea, Constantin. (Springer Nature Switzerland,)