地图     English
杨潇潇

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 杨潇潇
跳转到： 导航, 搜索
职称: 博士后
研究方向： 程序设计语言的形式语义、程序验证
电话: 010-62661630
E-Mail: xxyang(at)ios.ac.cn
个人主页： http://lcs.ios.ac.cn/~xxyang/
取自“http://lcs.ios.ac.cn/wiki/%E6%9D%A8%E6%BD%87%E6%BD%87”

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号