Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III - Enea, Constantin; Lal, Akash (Springer, 2023)
Keywords: Software Engineering; Artificial Intelligence; Design and Analysis of Algorithms; Computer Engineering and Networks; Software engineering; Artificial intelligence; Algorithms; Computer engineering; Computer networks; Konferenzschrift -- 17.07.2023-22.07.2023 -- Paris