Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / [electronic resource] : / edited by Constantin Enea, Akash Lal.. — 1st ed. 2023.. — XXXI, 488 p. 160 illus., 121 illus. in color. : online resource. — (Lecture Notes in Computer Science,) 13964 1611-3349 ;. - Lecture Notes in Computer Science, 13964 .

Open Access

Анотація:
This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .

ISBN: 9783031377068

Standard No.: 10.1007/978-3-031-37706-8 doi

Subjects--Topical Terms:
Software engineering.
Artificial intelligence.
Algorithms.
Computer engineering.
Computer networks .
Software Engineering.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computer Engineering and Networks.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1