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