Chinese official network
中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Current position:
Home
>>Research Focus
Tang Zhengyi
Personal Information
Associate professor
Supervisor of Master's Candidates
Research Focus
Formal method for system analysis and verification