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

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Text

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

ENEA, Constantin - Personal Name; LAL, Akash - Personal Name;

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: : Springer Nature., 2023
Collation: -
Language
ISBN/ISSN: 978-3-031-37705-1
Classification: NONE
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: -
Subject(s): -
Specific Detail Info: -
Statement of Responsibility: Arie Gurfinkel, Vijay Ganesh

Other Information

Cataloger: heri
Source: -
Validator: -
Digital Object Identifier (DOI): https://link.springer.com/openurl?genre=book&isbn=978-3-031-37706-8
Journal Volume: -
Journal Issue: -
Subtitle: -
Parallel Title: -

Other version/related

No other version available

File Attachment

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

Comments

You must be logged in to post a comment