中文Current position: Home > Scientific Research > Paper Publications
Paper Publications
An Approach for Detecting Infeasible Paths Based on a SMT Solver
Release time:2021-09-29 Hits:Affiliation of Author(s):经济管理学院
Funded by:国家社科基金项目
First Author:sunziyuan
Co-author:王晨君,宋建华,许若琪
Indexed by:Journal paper
Document Code:paper_95619
Volume:28;11;
ISSN No.:1001-8409
Translation or Not:no
CN No.:51-1268/G3
Date of Publication:2014-12-06
孙自愿
Gender:Male
Education Level:With Certificate of Graduation for Doctorate Study
Alma Mater:中国矿业大学
Degree:Doctor
School/Department:经济管理学院
Business Address:经济管理学院A218
Contact Information:zycumt@126.com
E-Mail: