Xiaohong Chen
From FSL
Revision as of 21:10, 19 September 2016 by
Xiaohong
(
Talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Jump to:
navigation
,
search
Research Interests and Ongoing Research Projects
Formal Semantics of Programming Languages
Separation Logic as a Sub-Logic of Matching Logic
Automated Programs Verification Methods
Bounded Model Checking with
Personal tools
Log in
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
Actions
Search
Navigation
FSL Home
People
Projects
Publications
News