11月20日-22日 西安
CCF全国形式化方法与应用会议
会议预编号：CCF-21-TC34-01Np
主办：中国计算机学会（CCF）
承办：CCF形式化方法专委会、西安电子科技大学
联系：田聪 ctian@mail.xidian.edu.cn
京公网安备 11010802032778号 京ICP备13000930号-4
返回首页
