Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part I / Constantin Enea, Akash Lal, editors.
2023
QA76.758
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Open access
Document Delivery Supplied
Open access
Details
Title
Computer aided cerification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part I / Constantin Enea, Akash Lal, editors.
Meeting Name
ISBN
9783031377068 (electronic bk.)
3031377060 (electronic bk.)
9783031377051
3031377060 (electronic bk.)
9783031377051
Published
Cham, Switzerland : Springer, 2023.
Language
English
Description
1 online resource (xxix, 488 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-37706-8 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1/4
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.
Note
Includes author index.
Access Note
Open access.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 18, 2023).
Added Author
Series
Lecture notes in computer science ; 13964. 1611-3349
Linked Resources
Record Appears in