程序静态分析

作品数：23被引量：109H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：姜淑娟张艳梅张健周宇黄志球更多>>
相关机构：南京大学北京大学中国矿业大学中国科学院软件研究所更多>>
相关期刊：《北京大学学报（自然科学版）》《计算机科学与探索》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金国家科技重大专项更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
姜淑娟
中国矿业大学计算机...
张艳梅
中国矿业大学
张健
中国科学院软件研究...
周宇
南京航空航天大学计...
黄志球
南京航空航天大学计...
陈晨
南京航空航天大学
相关机构更多
相关主题更多