搜索筛选:
搜索耗时2.0658秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者:Lingyu SUN,Yatian SUN,
来源:软件工程与应用(英文) 年份:2009
Partition-and-Recur (PAR) method is a simple and useful formal method. It can be used to design and testify algo-rithmic programs. In this paper, we propose tha...
相关搜索: