尼古拉斯·塔巴雷奥;埃里克·坦特;索索、马蒂厄 单价与参数的结合。 (英语) Zbl 1499.68379号 美国临床医学杂志 68,第1号,第5号论文,44页(2021年).MSC公司:68伏15 03B35型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{N.Tabarau}等人,J.ACM 68,第1号,第5号论文,44页(2021年;Zbl 1499.68379) 全文: 内政部 arXiv公司 哈尔
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 (英语) Zbl 1427.03066号 美国临床医学杂志 66,第2号,第13条,第35页(2019年).MSC公司:03楼50 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人,J.ACM 66,第2号,第13条,第35页(2019年;Zbl 1427.03066) 全文: 内政部
什耶夫切克,雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 CompCertTSO:一个经过验证的编译器,用于松弛内存并发。 (英语) Zbl 1281.68072号 美国临床医学杂志 第60条第3款第22条第50页(2013年).MSC公司:68N20型 68甲15 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ševík}等人,J.ACM 60,第3号,第22条,50页(2013;Zbl 1281.68072) 全文: 内政部