zbMATH中的参考文献（参考文献177篇文章,1标准件)

1. 休尔塔·穆尼夫，乔纳森·朱利安；Struth，Georg：混合系统的谓词转换语义。Isabelle/HOL的验证组件（2022）
2. 埃敏，卡拉耶尔；Edgar González:协作编辑框架WOOT的最终一致性（2022）
3. 安巴尔，纪尧姆；伦格莱特，塞尔盖伊；施密特，艾伦：（\mathrmo\pi）在《考克》（2021年）
4. 博德，安东尼；拉克尼特，汉娜；何一军：Isabelle/HOL认证量子计算（2021）
5. 巴特勒，D。；洛克比勒，A。；阿斯皮纳尔，D。；Gascón，A.：形式化（\varSigma）-使用密码的协议和承诺方案（2021）
6. 德隆，阿德里安；彼得·柯普克；洛伦森，安东；马蒂，阿德里安；舒茨，马塞尔；埃里克·斯图森海克：伊莎贝尔/纳普罗什的美丽形式化（2021）
7. 埃德蒙兹，切尔西；Paulson，Lawrence C.：组合设计理论的模块化首次形式化（2021）
8. 福斯特，西蒙；尼莫奇、雅库布；格雷舍尔，马里奥；魏然；Kelly，Tim:与Isabelle/SACM将正式证据整合到统一保证案例中（2021年）
9. 福斯特，西蒙；叶康峰；安娜，卡瓦尔康蒂；Jim Woodcock:通过计算自动验证反应式和并发程序（2021）
10. 出发地：阿斯塔·哈尔科赫；埃斯琴，艾格尼斯莫斯格路；维尔森，约根：伊莎贝尔/霍尔命题逻辑的形式化公理系统（2021）
11. Grabowski，Adam:一些广义粗糙近似的自动比较研究（2021）
12. 霍鲁布，什特ěpán；斯塔罗斯塔，什特ěpán:Lyndon单词在伊莎贝尔/霍尔的形式化（2021）
13. 阿吉拉基：数学形式化——在实践中；一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法（2021年）
14. 李，李易；Gunter，Elsa L.：（\mathbbK）的完整语义及其对Isabelle的翻译（2021）
15. Líka，马丁；卢普塔克，达维德；诺沃顿，维特；米加尔Růïička；嘘明克，鲍里斯；索伊卡，彼得；什特法尼克，米哈尔；Wenzel，Makarius:CICM'21系统条目（2021）
16. 马布比，阿西娅；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
17. 波佩斯库，安德烈；拉米，彼得；侯平：CoCon：一个正式验证文件机密性的会议管理系统（2021）
18. 波佩斯库，安德烈；特劳特尔，德米特里：用证明助手提取哥德尔不完全性定理的要求（2021）
19. 拉苏，弗拉德；大卫.诺瓦克：（Co）可达逻辑合成证明的归纳证明系统（2021）
20. 西米奇，丹尼耶拉；马里奇，菲利普；Boutry，Pierre:双曲几何庞加莱圆盘模型的形式化（2021）