学位申请者信息公示
学号
SA20011221
姓名
朱欣强
所在院系
011计算机科学与技术学院
工程领域
计算机技术
论文题目
基于循环缩减的程序验证工具设计与实现
答辩结果
通过：3 建议修改： 不通过：0