Registered user since Sun 11 Mar 2018
Name:Zhao Duan
Affiliation:Xidian University
Contributions
* ICSE 2018 * | Poster T14: Accelerating Counterexample Detection in Software Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile