返回首页

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

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

11月19日-11月22日  重庆

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

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

主办:中国计算机学会(CCF)

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

重庆大学

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