Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
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

Xiaohong Chen

Research Interests
  • Formal Semantics of Programming Languages
  • Automated Programs Verification Methods
  • Software Testing
Personal tools
Namespaces

Variants
Actions
Navigation