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

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

CCF中国软件大会

阅读量:335 2022-04-04 收藏本文

2022年11月上海

CCF中国软件大会

会议预编号：CCF-22-TC20-01N

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

承办：复旦大学

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

<<< 上一篇 CCF中国软件大会2023

CCF全国形式化方法与应用会议下一篇 >>>

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

CCFLink下载