|
个人信息Personal Information
副教授
博士生导师
硕士生导师
任职 : 本科教学管理办公室主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：大连市开发区图强街321号大连理工大学软件学院综合楼423室
联系方式：0411-62274417
电子邮箱：wang_jie@dlut.edu.cn
扫描关注
一种定理证明与模型检测融合的软件验证加速方法
点击次数：
发表时间：2014-01-01
发表刊物：东北大学学报 自然科学版
所属单位：软件学院
卷号：35
期号：S1
页面范围：13-18