Map     中文
Xiaoxiao YANG

From State Key Laboratory of Computer Science

Main Page > People > Staff > Xiaoxiao YANG
Jump to: navigation, search
Professional Title: Assistant Research Professor
Research Fields: Formal semantics of programming languages, formal verification
E-Mail: xxyang(at)ios.ac.cn
Homepage: http://lcs.ios.ac.cn/~xxyang/



Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki