
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Sharon Shoham (editor), Yakir Vizel (editor)
Series:
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: