Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III - Enea, Constantin; Lal, Akash (Springer, 2023)