登录
Xidian University
中文
MOBILE Version
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
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
Paper Publications
Current position:
Home
>>
Scientific Research
>>
Paper Publications
[1] A canonical form based decision procedure and model checking approach for propositional projection temporal logic
2018-06-08
[2] CEGAR based null-pointer dereference checking in C programs
2018-06-08
total2 1/1
first
previous
next
last
+
田聪
Personal Information:
Name (Simplified Chinese):
田聪
Name (Pinyin):
TIANCONG
Administrative Position:
bepaly手机下载院院长
Education Level:
With Certificate of Graduation for Doctorate Study
Gender:
Female
Degree:
Doctoral degree
Professional Title:
Professor
Alma Mater:
beoplay体育提现
Discipline:
Software Engineering Computer Software and Theory
