搜索筛选:
搜索耗时3.3365秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者:Deng CHEN,Yan-duo ZHANG,Wei WEI,Shi-xun WANG,Ru-bing HUANG,Xiao-lin LI,Bin-bin QU,Sheng JIANG,
来源:信息与电子工程前沿(英文版) 年份:2017
Static analysis is an efficient approach for software assurance.It is indicated that its most effective usage is to perform analysis in an interactive way throu...
相关搜索: