An Approach for Detecting Infeasible Paths Based on a SMT Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shujuan Jiang, Hongyang Wang, Yanmei Zhang, Meng Xue, Junyan Qian, Miao Zhang. An Approach for Detecting Infeasible Paths Based on a SMT Solver. IEEE Access, 7:69058-69069, 2019. [doi]

This author has not been identified. Look up 'Shujuan Jiang' in GoogleThis author has not been identified. Look up 'Hongyang Wang' in GoogleThis author has not been identified. Look up 'Yanmei Zhang' in GoogleThis author has not been identified. Look up 'Meng Xue' in GoogleThis author has not been identified. Look up 'Junyan Qian' in GoogleThis author has not been identified. Look up 'Miao Zhang' in Google

runs on WebDSL