Cover Image

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
Description
Summary: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. .
Physical Description:1 online resource (XXXI, 488 pages 160 illustrations, 121 illustrations in color.)
ISBN:9783031377068
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-37706-8
Access:Open Access