地图     English
王淑灵

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

首页 > 人才队伍 > 科研人员 > 王淑灵
跳转到： 导航, 搜索
职称: 博士后
研究方向： 软件形式化方法
电话: 010-62661652
E-Mail: wangsl(at)ios.ac.cn
取自“http://lcs.ios.ac.cn/wiki/%E7%8E%8B%E6%B7%91%E7%81%B5”

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