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