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