Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III - Enea, Constantin (Herausgeber); Lal, Akash (Herausgeber) (Lecture Notes in Computer Science, 2023)