Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation
复制标题

DOI：
10.1007/978-3-662-46081-8
复制
发表时间：
2015
期刊：
--
影响因子：
--
通讯作者：
D. D'Souza;A. Lal;K. Larsen
D. D'Souza;A. Lal;K. Larsen
中科院分区：
其他
文献类型：
--
作者：
D. D'Souza;A. Lal;K. Larsen

文献摘要

被引文献

相似文献

最后，我们要感谢ACM SIGPLAN-SIGACT和当地组织者，特别是Sriram Rajamani和Paritosh Pandya，为VMCAI提供了出色的基础设施支持。
Finally, we would to thank ACM SIGPLAN-SIGACT and the local organizers, especially Sriram Rajamani and Paritosh Pandya, for the excellent infrastructural support to VMCAI.