侯刚

个人信息Personal Information

副教授

硕士生导师

性别:男

毕业院校:大连理工大学

学位:博士

所在单位:软件学院、国际信息与软件学院

学科:软件工程

办公地点:综合楼423

电子邮箱:hougang@dlut.edu.cn

扫描关注

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

一种定理证明与模型检测融合的软件验证加速方法

点击次数:

发表时间:2014-01-01

发表刊物:2014年全国计算机体系结构学术年会

所属单位:物理学院