Release Time:2019-03-09 Hits:
First Author: 王孝良
Co-author: Lai Xiaochen
Title of Achievement: C++程序可信性静态分析方法研究
Granted by: 辽宁省教育厅
Level of Award: Provincial and ministerial level
Grade of Award: 三等奖
Type of Award: Academic Award
Date of Award: 2014-08-01
Number of Participants: 2