CCF形式化方法专业委员会 > 产业合作 > 胡杨林基金专项
CCF-华为胡杨林基金形式化专项2023年度项目结题会与2024年度项目启动会成功召开
2025-01-26
2024-10-31
2024-08-02
2023年度CCF-华为胡杨林基金形式化方法专项中期汇报会成功召开
2024-07-06
Technical Committee on Formal Methods
+86 10 6266 1648
wuzl[at]ios.ac.cn
Copyright © 2020 中国计算机学会
京公网安备 11010802032778号