beat365唯一官方网站

登录

beat365唯一官方网站
  • 首页
  • beat365官网
    • 学院简介
    • 现任领导
    • 管理服务
  • 师资队伍
    • 教授
    • 副教授
    • 助理教授
    • 讲师/教员
    • 研究员/副研究员
    • 外聘教授
    • 校外导师
  • 新闻动态
  • 学术科研
    • 科研动态
    • 科研平台
    • 学术讲座
  • 人才培养
    • 本科生教育
    • 研究生教育
  • 党群工作
    • 党史学习
    • 党建工作
  • 学生工作
    • 学工通知
    • 学生活动
    • 办事指南
  • 交流合作
  • 人才招聘
    • 人才引进

导航痕迹

  • beat365唯一官方网站beat365唯一官方网站
  • 
  • 学术科研
  • 
  • 学术讲座
  • 
  • 博学论坛第三十二期：an AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs

博学论坛第三十二期：an AI be a Panacea for Software Reliability? Towards Automatic Testing and Verification for Software Programs

发布人：林柱良 发布日期：2024-11-14

 

学院名称

 

   珠海市香洲区唐家湾镇beat365唯一官方网站珠海校区

   联系电话：86(0)756-3661003

   邮编：519082

   beat·365(中国)唯一官方网站 版权所有

   快速链接

   beat365唯一官方网站　   beat365唯一官方网站教务部　   beat365唯一官方网站学生处　   beat365唯一官方网站研究生院　   beat365唯一官方网站人力资源管理处　   beat365唯一官方网站图书馆
   软工二维码
  • 首页
  • beat365官网
    • 学院简介
    • 现任领导
    • 管理服务
  • 师资队伍
    • 教授
    • 副教授
    • 助理教授
    • 讲师/教员
    • 研究员/副研究员
    • 外聘教授
    • 校外导师
  • 新闻动态
  • 学术科研
    • 科研动态
    • 科研平台
    • 学术讲座
  • 人才培养
    • 本科生教育
    • 研究生教育
  • 党群工作
    • 党史学习
    • 党建工作
  • 学生工作
    • 学工通知
    • 学生活动
    • 办事指南
  • 交流合作
  • 人才招聘
    • 人才引进