Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhao Duan
conf.researchr.org general profile
* ICSE 2018 * profile
Registered user since Sun 11 Mar 2018
Name:
Zhao Duan
Affiliation:
Xidian University
Contributions
2018
ICSE
Author of Poster T14: Accelerating Counterexample Detection in Software Model Checking within the Posters -track
Share
x
Thu 21 Nov 18:41