走进高校
CCF形式化方法专业委员会 > 走进高校
2025-01-13
2024-10-22
2024-06-06
CCF@U第1090场：CCF形式化方法专委走进新疆高等师范专科学校
2024-06-06
CCF@U第1074场：CCF形式化方法专委走进兴义民族师范学院
2024-05-26
Technical Committee on Formal Methods
+86 10 6266 1648
wuzl[at]ios.ac.cn
Copyright © 2020 中国计算机学会
京公网安备 11010802032778号