Computer aided verification 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings - Enea, Constantin; Lal, Akash (Springer, 2023)
Keywords: Konferenzschrift -- 2023 -- Paris