Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Lecture Notes in Computer Science 15530
Herausgegeben:Shankaranarayanan, Krishna
Sankaranarayanan, Sriram
Trivedi, Ashutosh
- 出版社：Springer, Berlin; Springer Nature Switzerland; Spring
- 出版年月：2025年 00月
- ISBN：9783031827020
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2025. xiv
- 巻数・ページ数：350 p.