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

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

Description Not Available

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: -

Other Information

Cataloger: ock
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