|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
扫描关注
一种定理证明与模型检测融合的软件验证加速方法
点击次数：
发表时间：2014-01-01
发表刊物：2014年全国计算机体系结构学术年会
所属单位：物理学院
|
|
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
点击次数：
发表时间：2014-01-01
发表刊物：2014年全国计算机体系结构学术年会
所属单位：物理学院