HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·拉姆米奇；蕾妮·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Complx公司 1份文件引用(2023) 软件作者： Amani，S.、Andronick，J.、Bortin，M.、Lewis，C.、Christine，R.、Tuong，J。 相关软件： seL4；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）
克努特·莫里斯·普拉特 1份文件引用(2019) 软件作者： 费比安·海洛尔（Fabian Hellauer）；彼得·兰米奇 相关软件： 埃德蒙兹卡普；CAVA LTL模型检查器；IEEE_浮点… 主要字段： 计算机科学（68-XX）
备忘录 1份文件引用(2018) 软件作者： Simon Wimmer、Shuwei Hu、Tobias Nipkow 相关软件： 验证此；Isabelle/HOL；Coq公司 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
克鲁斯卡尔 在0个文档中引用 软件作者： 马克西米利安·哈斯贝克（Maximilian P.L.Haslbeck）。；彼得·兰米奇（Peter Lammich）；朱利安·班德拉 相关软件： – 主要字段： –