Write a Blog >>
Jie Su

Registered user since Tue 8 Jun 2021

Name:Jie Su
Country:China
Affiliation:Xidian University
Research interests:Formal Methods, Model Checking

Contributions

ASE 2022 Prioritized Constraint-Aided Dynamic Partial-Order Reduction
Show activities from other conferences

ASE 2022-profile
View general profile