2025年6月
07
星期六
X202210004474
dafny程序验证语言的教学平台的设计与实现
创新训练项目
北京交通大学
一年期
工学
计算机类
2022-06-29
2023-07-17
姓名 专业班级 所在学院 项目中的分工 成员类型
陆敏潇 第一主持人
李嘉海 成员
秦振东 成员
姓名 职称 指导教师类型
孙文辉 副教授 第一指导教师