Computer aided verification :: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings.: Part II /: Constantin Enea, Akash Lal, editors.

Enea, Constantin,; Lal, Akash,

doi:10.1007/978-3-031-37703-7

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings. Part II / Constantin Enea, Akash Lal, editors.

CAV (Conference) (35th : 2023 : Paris, France); Enea, Constantin, editor.; Lal, Akash, editor.

2023

QA76.758

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

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 II / Constantin Enea, Akash Lal, editors.

Meeting Name

CAV (Conference) (35th : 2023 : Paris, France)

ISBN

9783031377037 (electronic bk.)
3031377036 (electronic bk.)
9783031377020

DOI

https://doi.org/10.1007/978-3-031-37703-7

Published

Cham : Springer, [2023]

Copyright

Language

English

Description

1 online resource (xvi, 460 pages) : illustrations (some color).

Item Number

10.1007/978-3-031-37703-7 doi

Call Number

QA76.758

Dewey Decimal Classification

005.1

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 26, 2023).

Added Author

Enea, Constantin, editor.
Lal, Akash, editor.

Series

Lecture notes in computer science ; 13965.

Linked Resources

Online Access