彭佳红 杨庆红 张军 傅志祥 游晓明 王晓东 揭安全 化志章 薛锦云 傅仰耿 刘升 王彩芬 吴英杰

数据结构 归纳法 确定性程序 非递归算法 囿界函数 Hoare逻辑 界函数 程序 程序规范 程序验证 树遍历 程序的正确性 程序的形式推导方法 算法程序形式化技术 最弱前置谓词 算法设计 动态规划