Hits:
Date of Publication:2013-01-01
Journal:大连理工大学首届研究生教育教学研讨会
Affiliation of Author(s):软件学院
Note:新增回溯数据
Pre One:一种定理证明与模型检测融合的软件验证加速方法
Next One:依托新技术建设移动辅助教学一体化平台