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
