Hits:
Primary Participant:wangxiaoliang
Co-author:Lai Xiaochen
Title of Achievement:C++程序可信性静态分析方法研究
Granted by:辽宁省教育厅
Level of Award:省部级
Grade of Award:三等奖
Type of Award:学术奖
Date of Award:2014-08-01
Number of Participants:2
Pre One:大连理工大学优秀教学成果奖
Next One:辽宁省信息化大赛高等教育组
