Xiaohong Chen

From FSL

Revision as of 20:59, 19 September 2016 by Xiaohong (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Research Interests

Formal Semantics of Programming Languages
Automated Programs Verification Methods

Retrieved from "http://fsl.cs.illinois.edu/index.php?title=Xiaohong_Chen&oldid=18106"

Personal tools

Log in