庄雷 王志勇 钟广军 胡小华 金炳尧 李鹤松 周晓娟 颜跃进

形式化验证 认证性 交通网络 数据流 灾难恢复 聚类 逻辑分析 上机考试

湖北武汉 湖南长沙 四川大学数学学院 国防科技大学计算机学院 国防科学技术大学计算机学院 北京航空航天大学计算机学院 武汉大学软件工程国家重点实验室 北京航空航天大学计算机科学与工程学院