搜索结果: 1-1 共查到“计算机系统结构 ICFEM 2010”相关记录1条 . 查询时间(0.14 秒)
第12届国际形式化工程大会（ICFEM 2010）召开（图）
第12届 国际形式化工程大会 ICFEM 2010
2010/11/26
第12届国际形式化工程大会（ICFEM 2010）于2010年11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。新加坡国立大学Dong Jin Song教授和我校软件学院朱惠彪教授担任程序委员会主席。国内外近100多位相关领域专家前来与会。本次大会特别邀请到来自美国内布拉斯加大学Matthew Dwyer教授、日本北陸先端科学技術大学Kokichi Futatsug教授以及瑞典...