Title:
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Author:
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
ISBN:
9783031656279
Edition:
1st ed. 2024.
Physical Description:
XXXIII, 498 p. 133 illus., 110 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14681
Abstract:
This open access book 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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-65627-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 604455-1001 | ONLINE | Searching... | Searching... |