尤斯拉·伦巴查尔;瑞安·鲁西奇;尤利安·尼姆图;吉安弗兰科·西亚多 Bddl公司:二进制决策图的类型系统。 (英语) Zbl 1514.68048号 Kovács,Laura(编辑)等人,《测试和证明》。第16届国际会议,TAP 2022,作为STAF 2022的一部分,于2022年7月5日在法国南特举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13361, 31-47 (2022).MSC公司:68第05页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lembachar}等人,Lect。注释计算。科学。13361,31-47(2022;Zbl 1514.68048) 全文: 内政部
托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 在Coq中实现和推理哈希加密数据结构。 (英语) Zbl 1314.68273号 J.自动化。推理 53,第3期,271-304(2014).MSC公司:第68页第15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Braibant}等人,J.Autom。推理53,No.3,271--304(2014;Zbl 1314.68273) 全文: 内政部 arXiv公司