×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
在这里添加一些文本
关闭
×
Toggle navigation
计算机科学
首页
关于本刊
期刊介绍
学术指标
学术荣誉
编委会
道德声明
OA政策
期刊订阅
联系我们
English
一种基于模型检验程序分析技术的前端工具研究
叶俊民,谢茜,金聪,李明,张振方
Research on a Front-end Tool for Program Analysis Based on Model Checking
YE Jun-min,XIE Qian,JIN Cong,LI Ming,ZHANG Zhen-fang
计算机科学 . 2010, (
5
): 118 -122174 .