设为首页 | 加入收藏
首页 > 正文

CFP-软件学报“形式化方法与应用”专刊

作者：时间：2022-03-08点击数：

CFP-软件学报“形式化方法与应用”专刊：http://www.jos.org.cn/jos/news/view/20220308093015001


上一条：CFP-IEEE TCSS征稿启示 下一条：2022年拟招收1-2名硕士研究生

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

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

Email：liuguanjun@tongji.edu.cn