Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 2: Line 2:
  
 
{{Header | Research Interests}}
 
{{Header | Research Interests}}
* Formal semantics of programming languages
+
* Formal Semantics of Programming Languages
 +
* Automated Programs Verification Methods

Revision as of 20:59, 19 September 2016

Xiaohong Chen

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

Variants
Actions
Navigation