编辑配置文件（在新选项卡中打开） 恩格尔，基督徒 合著者距离 作者ID： 恩格尔·克里斯蒂安 发布日期： 基督教恩格尔 外部链接： MGP公司 已编制索引的文档： 1出版物自2007年起 合著者： 1位合著者具有1联合出版物 65位合作作者 合著者 0 单作者的 1 雷纳·哈内尔 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5中的次5文件 引用人▼ 年份▼ 根据正式证明生成单元测试。 Zbl 1196.68046号 基督教恩格尔;雷纳·哈内尔 5 2007 从形式证明生成单元测试。 Zbl 1196.68046号 基督教恩格尔;雷纳·哈内尔 5 2007 全部的 前5名13位作者引用 1 沃尔夫冈·阿伦特 1 伯纳德·博泰拉 1 理查德·布贝尔 1 马克西米利安·迪拉 1 阿兰·乔治蒂 1 克里斯托夫·格拉迪什。 1 雷纳·哈内尔 1 季冉 1 雅克·朱利安德 1 尼古拉·科马托夫 1 林克什·纳格莫蒂 1 纪尧姆·佩蒂奥 1 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。 2篇连载文章中引用 1 计算机程序设计科学 1 计算的形式方面 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文