电脑体验，效果更佳

循环不变式图谱-自然科学领域：

研究人员

彭佳红 杨庆红 张军 傅志祥 游晓明 王晓东 揭安全 化志章

相关术语

数据结构 归纳法 确定性程序 非递归算法 囿界函数 Hoare逻辑 界函数 程序

标签云