搜索筛选:
搜索耗时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...
相关搜索: