2025年5月
17
星期六
S202110358113
基于自动化形式化验证的区块链协议的安全分析
创新训练项目
中国科学技术大学
一年期
理学
化学类
2021-04-30
2022-06-28
姓名 专业班级 所在学院 项目中的分工 成员类型
王炯涵 第一主持人
姓名 职称 指导教师类型
黄文超 副教授 第一指导教师