第四届全国形式化方法与应用会议(FMAC 2019)

阅读量:3340
2017-03-08

11月30日-12月1日  上海

第四届全国形式化方法与应用会议(FMAC 2019)

会议编号:CCF-19-TC34-01N

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

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

          上海交通大学

联系:傅育熙 fu-yx@cs.sjtu.edu.cn


<<< 上一篇   无
<<< 下一篇 无