70岁生日： 何继峰0001 2013
刘志明 , 吉姆·伍德科克 
, 朱慧彪 :
程序设计理论与形式方法——纪念何继峰70岁生日的文章。 计算机科学课堂讲稿 8051, 施普林格 2013 ，国际标准图书编号 978-3-642-39697-7 珍妮·雷蒙德·阿布里尔 :
集合理论计算模型。 1-22 伯恩哈德·艾切里尼（Bernhard K.Aichernig） :
反应系统的基于模型的变异测试——从语义到自动测试用例生成。 23-36 理查德·巴纳赫 :
混合赛B中的柔韧模式。 37-53 乔纳森·鲍文 :
代数共同体的关系研究：从保罗·埃尔德到何继峰。 54-66 迈克尔·巴特勒 , 伊萨姆·马姆里亚 :
事件B中的实践理论扩展。 67-81 安娜·卡瓦尔坎蒂 , 亚历山大·莫塔 , 吉姆·伍德科克 :
用于程序验证的Simulink定时模型。 82-99 赵晨 , 淮口苗族 , 陈一海 :
基于概念分析的统计Web测试方法。 100至117 陈一峰 :
超级计算的代数程序语义。 118至135 当文雄（Dang Van Hung） , Hoang Truong公司 :
UTP实时接口的建模与规范。 136-150 段振华 , 钱马 , 丛天 , 张楠（Nan Zhang） :
PPTL中的一些固定点问题。 151-165 玉溪府 :
传递值微积分。 166-195 马丁·希尔舍 , 斯文·林克尔 , Ernst-Rüdiger Olderog公司 :
证明乡村道路上的交通操作安全。 196-212 托尼·霍尔 :
程序设计定律的一般模型。 213年至226年 克利夫·琼斯 , 利奥·弗雷塔斯 , 安德里乌斯·维利基斯 :
我们的理由是为什么。 227-243 Juhl线 , 金·古德斯特兰·拉森 , Jean-François Raskin女士 :
多权重和参数化能源博弈的最优边界。 244-255 李建文 , 葛光浦 , 张丽君 , 郑旺（音） , 何继峰 , 金·古德斯特兰·拉森 :
关于LTL范式与Büchi自动机之间的关系。 256-270个 Jian Lü , 于晃（音） , 常旭 , 马晓星 :
管理互联网范式的环境和适应风险。 271-284 汉内·里斯·尼尔森 , 弗莱明·尼尔森 :
质量微积分中的安全与安全。 285-303 秦胜超 , 何冠华 , 魏恩甘钦 , 杨红丽 :
用于自动程序验证的组合域上的不变量合成。 304-325 A.W.罗斯科 , 菲利普·霍普克罗夫特 :
通过优先级进行慢速抽象。 326至345 张健（Jian Zhang） :
使用符号数据进行性能评估。 346-353 赵恒军 , 詹乃军（Naijun Zhan） , 迪帕克·卡普尔 :
通过生成不变量综合混合系统的开关控制器。 354-373 梁照 , 王淑玲（Shuling Wang） , 刘志明 :
基于图形的面向对象Hoare逻辑。 374-393 朱龙飞 , 赵永新 , 朱慧彪 , 徐启文 :
面向网络物理系统的建模语言。 394-411
