Search results for: Jing Sun
Automated Software Engineering > 2019 > 26 > 3 > 653-704
Information and Software Technology > 2017 > 83 > C > 1-13
Formal Methods in System Design > 2014 > 44 > 2 > 176-202
Automated Software Engineering > 2019 > 26 > 3 > 653-704
Information and Software Technology > 2017 > 83 > C > 1-13
Formal Methods in System Design > 2014 > 44 > 2 > 176-202