English

信息与计算科学系

首页  > 学术科研 > 信息与计算科学系

学术讲座——程序验证中的数学方法---自动推理

来源:信息与计算科学系  作者:赵海良     日期:2017/9/11 16:50:13   点击数:202  

报告题目:程序验证中的数学方法---自动推理



  报告人:何星星 博士
      报告时间:2017.9.15上午9:50-11:25
      地点:X1322
      欢迎有兴趣者光临!
    

                                        信息与计算科学系

                                                                                2017.9.11