Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
基于时序逻辑的软件安全缺陷分析方法研究
Hits:
Affiliation of Participant(s):计算机学院（国家示范性软件学院）
Leading Scientist:Liang Hongliang
Status:结题
Classification of Project:171
Classification of Disciplines:计算机科学技术
Date of Project Approval:2010-07-21
Date of Project Completion:2018-10-19
Date of Project Initiation:2010-01-01
Opening Time:..
The Last Update Time: ..
