English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 活动 > 活动日历 > 专委 > 形式化方法

第五届全国形式化方法与应用会议（FMAC2020）

阅读量:1047 2020-07-29 收藏本文

11月19日-11月22日重庆

第五届全国形式化方法与应用会议（FMAC2020）

会议编号：CCF-20-TC34-01Np

主办：中国计算机学会（CCF）

承办：CCF形式化方法专委会

重庆大学

联系：董威 wdong@nudt.edu.cn

<<< 上一篇 CCF全国形式化方法与应用会议

第四届全国形式化方法与应用会议（FMAC 2019 下一篇 >>>

<<< 下一篇第四届全国形式化方法与应用会议（FMAC 2019

CCFLink下载