CCF形式化方法专业委员会 > 形式化方法教育 > 其他教育资源课
第六届可信软件系统工程（国际）春季学校(SETSS 2024)即将开讲
2024-04-08
Technical Committee on Formal Methods
+86 10 6266 1648
wuzl[at]ios.ac.cn
Copyright © 2020 中国计算机学会
京公网安备 11010802032778号