Release Time:2016-10-18  Hits:

Major: Software Engineering

Education Level: With Certificate of Graduation for Study as Master's Candidates

Degree: Master's Degree

Current Status: Graduated

Graduation Thesis Title: 形式化需求分析与自动验证的研究与应用

Date of Registration: 2007-09-01