艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；Smalltalk；规范#… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
达瓦 4份文件引用(2002–2011) 软件作者： Jerome Miecznikowski；劳丽·亨德伦 相关软件： FlowDroid；ESC/Java；方面J… 主要字段： 计算机科学（68-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）