CCF形式化方法专委走进重庆邮电大学
时间:2026-09-11
地点:重庆市南岸区重庆邮电大学
联系人:吴志林 联系方式:wuzl@ios.ac.cn
版权所有 中国计算机学会
联系电话: (+86)10 6256 2503 邮件:ccf@ccf.org.cn
京公网安备 11010802032778号 京ICP备13000930号-4
网站建议或者意见请发送邮件:suggest@ccf.org.cn
投诉请联系:complain@ccf.org.cn
返回首页