| 书目名称 | Computer Aided Verification |
| 副标题 | 36th International C |
| 编辑 | Arie Gurfinkel,Vijay Ganesh |
| 视频video | |
| 概述 | This book is open access, which means that you have free and unlimited access |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .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.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.. |
| 出版日期 | Conference proceedings‘‘‘‘‘‘‘‘ 2024 |
| 关键词 | Computer Science; Informatics; Conference Proceedings; Research; Applications; Open Access |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-65633-0 |
| isbn_softcover | 978-3-031-65632-3 |
| isbn_ebook | 978-3-031-65633-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s) 2024 |
发表于 2025-3-21 16:38:46
