基于蜕变关系的编译工具链缺陷检测技术研究

项目负责人杨已彪
依托单位华中科技大学
立项年份2020
学科分类软件理论、软件工程与服务
资助来源国家自然科学基金
项目状态已立项
资助金额¥56.0万
批准号62072194

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

华中科技大学其他项目

软件理论、软件工程与服务学科其他项目

相关期刊推荐

该学科领域可投稿的高影响期刊: