zbMATH中的参考文献（参考文献1018篇,2标准条款)

1. 巴克斯特，詹姆斯；里贝罗，佩德罗；安娜州卡瓦尔坎蒂：在\textittock CSP（2022年）中的合理推理
2. 达尔万迪，萨德格；多戈尔，布里耶什；多尔蒂，西蒙；Wehrheim，Heike:将Owicki-Gries用于C11型内存模型整合到Isabelle/HOL（2022年）
3. 杜布特，杰雷米；Yamada，Akihisa:非传递关系的不动点定理（2022）
4. 费勒，巴兹尔；洛赫比勒，安德烈亚斯；施耐德，约书亚；崔泰尔，德米特里：有界自然函子的商（2022）
5. 休尔塔·穆尼夫，乔纳森·朱利安；Struth，Georg：混合系统的谓词转换语义。Isabelle/HOL的验证组件（2022）
6. 埃敏，卡拉耶尔；Edgar González:协作编辑框架WOOT的最终一致性（2022）
7. Arusoaie，Andrei:为区块链认证Findel衍生品（2021年）
8. 本特坎普，亚历山大；布兰切特，贾斯敏；克鲁恩斯，西蒙；Waldmann，Uwe:无lambda高阶逻辑的叠加（2021）
9. 博德，安东尼；拉克尼特，汉娜；何一军：Isabelle/HOL认证量子计算（2021）
10. 布朗伯格，马丁；德拉戈斯特，伊琳娜；法克赫，拉沙；菲泽，克里斯托夫；克鲁兹，马库斯；Weidenbach，Christoph:用于监督验证条件的数据记录锤模简单线性算法（2021）
11. 巴特勒，D。；洛克比勒，A。；阿斯皮纳尔，D。；Gascón，A.：形式化（\varSigma）-使用密码的协议和承诺方案（2021）
12. 陈兴伦；Norrish，Michael:AKS算法的机械化（2021）
13. 克里斯蒂娅，马克西米利亚诺；Rossi，Gianfranco:Bell LaPadula安全属性的自动证明（2021年）
14. 福斯特，西蒙；尼莫奇、雅库布；格雷舍尔，马里奥；魏然；Kelly，Tim:与Isabelle/SACM将正式证据整合到统一保证案例中（2021年）
15. 出发地：阿斯塔·哈尔科赫；埃斯琴，艾格尼斯莫斯格路；维尔森，约根：伊莎贝尔/霍尔命题逻辑的形式化公理系统（2021）
16. 韩宁；李西蒙；张乾英；王国辉；史志平；关勇：以太坊中间语言的可执行语义（2021）
17. 霍鲁布，什特ěpán；斯塔罗斯塔，什特ěpán:Lyndon单词在伊莎贝尔/霍尔的形式化（2021）
18. 霍鲁布，什特ěpán；Starosta，shtěpán:二进制交集形式化（2021）
19. 胡，Zhé；萨南，大卫；蒂乌，阿尔文；刘、杨；和，高泉；董金松：SPARC指令集体系结构和TSO内存模型的Isabelle/HOL形式化（2021）
20. Jared Mejia，Alex Devenport，Murat Arcak:DaDRA:用于数据驱动可达性分析的Python库（2021）阿尔十四