Student ID:40717275
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