S202310006102
基于Isabelle的处理器自动化验证辅助工具
创新训练项目
北京航空航天大学
一年期
工学
计算机类
2023-07-18
2024-07-11
姓名 专业班级 所在学院 项目中的分工 成员类型
边一宸 第一主持人
王晨昊 成员
游好 成员
姓名 职称 指导教师类型
马殿富 教授 第一指导教师
李莹 副教授 指导教师