Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part III / 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 verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings. Part III / Constantin Enea, Akash Lal, editors.
Meeting Name
ISBN
9783031377099 (electronic bk.)
3031377095 (electronic bk.)
9783031377082
3031377095 (electronic bk.)
9783031377082
Published
Cham, Switzerland : Springer, 2023.
Language
English
Description
1 online resource (xv, 502 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-37709-9 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1/4
Summary
The open access proceedings set LNCS 13964, 13965, 13966 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 ; 13966. 1611-3349
Linked Resources
Record Appears in