11月30日-12月1日 上海
第四届全国形式化方法与应用会议（FMAC 2019）
会议编号：CCF-19-TC34-01N
主办：中国计算机学会（CCF）
承办：CCF形式化方法专委会
上海交通大学
联系：傅育熙 fu-yx@cs.sjtu.edu.cn
京公网安备 11010802032778号 京ICP备13000930号-4
返回首页
