Search results for: Shengchao Qin
Formal Aspects of Computing > 2018 > 30 > 3-4 > 351-380
Journal of Software: Evolution and Process > 30 > 3 > n/a - n/a
Science of Computer Programming > 2017 > 148 > C > 189-212
IEEE Transactions on Software Engineering > 2017 > 43 > 11 > 995 - 1008
International Journal of Parallel Programming > 2018 > 46 > 6 > 1157-1183
Science of Computer Programming > 2017 > 139 > C > 1-35
Expert Systems with Applications > 2016 > 55 > C > 255-267
Lecture Notes in Computer Science > Formal Methods and Software Engineering > State Diagrams > 125-143
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Model Integration and Theory Unification > 187-203
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Program Analysis > 468-484
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 171-187
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Object-Oriented Languages > 112-127
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 4 > 251-266