博士论文激励计划
CCF形式化方法专业委员会 > 博士论文激励计划
中国计算机学会形式化方法专业委员会2024年度博士学位论文激励计划评选结果...
2024-09-05
中国计算机学会形式化方法专业委员会关于启动2024年度博士学位论文激励计划...
2024-07-01
中国计算机学会形式化方法专业委员会2023年度博士学位论文激励计划评选结果公示
2023-11-26
Technical Committee on Formal Methods
+86 10 6266 1648
wuzl[at]ios.ac.cn
Copyright © 2020 中国计算机学会
京公网安备 11010802032778号