Journal of Automated Reasoning. 2014;52(3):275-329. doi: 10.1007/s10817-013-9290-9 Q40.72025

On Automation in the Verification of Software Barriers: Experience Report

关于软件屏障验证中自动化的经验报告

DOI: 10.1007/s10817-013-9290-9

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！