×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
Toggle navigation
首页
期刊介绍
投稿指南
下载中心
过刊浏览
编委会
联系我们
编辑部公告
English
基于逻辑的形式化验证方法: 进展及应用
陈钢, 于林宇, 裘宗燕, 王颖
Logic Based Formal Verification Methods: Progress and Applications
CHEN Gang, YU Linyu, QIU Zongyan, WANG Ying
北京大学学报(自然科学版) . 2016, (
2
): 363 -373 . DOI: 10.13209/j.0479-8023.2015.131