地图     English
吴志林

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

首页 > 人才队伍 > 科研人员 > 吴志林
跳转到: 导航, 搜索
职称: 副研究员
研究方向: 自动机与逻辑、形式验证
电话: 010-62661648
E-Mail: wuzl(at)ios.ac.cn
个人主页: http://lcs.ios.ac.cn/~wuzl/



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