计算机应用研究2007，Vol.24Issue(11)：203-205,3.
一种形式化开发非递归算法的方法
Method for formally developing non-recursive algorithm
摘要
关键词
形式化方法/非递归/PAR/循环不变式/可靠性分类
信息技术与安全科学引用本文复制引用
石海鹤,石海鹏,薛锦云..一种形式化开发非递归算法的方法[J].计算机应用研究,2007,24(11):203-205,3.基金项目
国家自然科学基金资助项目(60573080) （60573080）
江西师范大学2006年度青年成长基金资助项目 （）
