首页 > 正文

征稿通知:CCF ChinaSoft 2022 “形式化方法与应用“Track

作者:时间:2022-03-02点击数:

征文通知:CCF ChinaSoft 2022 “形式化方法与应用“Track征稿通知: http://chinasoft2022.ccf.org.cn/papers/4.html


版权所有:同济大学 形式逻辑与机器学习实验室

地址:上海市嘉定区曹安公路4800号同济大学嘉定校区智信馆2楼 

Email:liuguanjun@tongji.edu.cn