艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；闲聊；规范#… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿达95 引用于277份文件(1979–2023) 软件作者： 让·伊克比亚 相关软件： 调制；埃菲尔；闲聊… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）