搜索筛选:
搜索耗时3.4542秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者:梁加宾,
来源:解放军信息工程大学 年份:2010
...
[期刊论文] 作者:梁加宾,张来顺,
来源:计算机工程与设计 年份:2010
为了解决谓词抽象技术面临的程序中循环体的每次迭代都至少需要一个谓词来实现的难题,提出了一个两阶段的不完全判定过程,用来对一个包含循环的反例进行可行性模拟。通过给出...
相关搜索: