Difference between revisions of "Xiaohong Chen"
From FSL
Line 4: | Line 4: | ||
* Formal Semantics of Programming Languages | * Formal Semantics of Programming Languages | ||
* Automated Programs Verification Methods | * Automated Programs Verification Methods | ||
+ | * Software Testing |
Revision as of 20:59, 19 September 2016
Research Interests |
---|
- Formal Semantics of Programming Languages
- Automated Programs Verification Methods
- Software Testing