Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Enea, Constantin (Editor), Lal, Akash (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13964
Subjects:	Software engineering. Artificial intelligence. Algorithms. Computer engineering. Computer networks . Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms. Computer Engineering and Networks. Electronic books.
Online Access:	Connect to the full text of this electronic book