模型检测暑期讲习班

2010年10月11日至16日
中国北京

首页 课程 日程 注册 地点 主办 English

本次暑期讲习班由中国科学院软件研究所计算机科学国家重点实验室举办,由国家自然科学基金重点项目“模型检测的理论、技术与工具”提供经费支持。

组委会成员:

陈海明,林惠民,吕毅,吴鹏,吴志林,杨潇潇,张文辉,张昱,张震宇