English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 活动 > 活动日历 > 专委

CCF形式化方法专委青年学术论坛：形式化方法与软件安全新技术

阅读量:44 2026-04-07 收藏本文

CCF形式化方法专委青年学术论坛：形式化方法与软件安全新技术

时间：2026-07-17

地点：江苏省南京市南京大学仙林校区计算机学院 221 报告厅

联系人：吴志林联系方式：wuzl@ios.ac.cn

<<< 上一篇形式化方法专委走进新疆和田学院

CCF形式化方法专委走进重庆邮电大学下一篇 >>>

<<< 下一篇 CCF形式化方法专委走进重庆邮电大学

CCFLink下载