米里亚姆·波尔泽;谢尔盖·冈查洛夫 局部局部推理:一种用于完整地面存储的BI型八甲基溴。 (英语) Zbl 07250956号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077, 542-561 (2020).理学硕士:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Polzer}和\textit{S.Goncharov},Lect。注释计算。科学。12077、542--561(2020;Zbl 07250956) 全文: 内政部 arXiv公司 OA许可证
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) Zbl 1382.68053号 J.日志。阿尔盖布。方法计划。 94, 1-14 (2018)。理学硕士:68号30 03B70号 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94、1-14(2018年;Zbl 1382.68053) 全文: 内政部 链接
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 (英语) Zbl 1121.68074号 正式Asp。计算。 19,第2期,159-189(2007)。理学硕士:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,正式Asp。计算。19,第2号,159--189(2007;Zbl 1121.68074) 全文: 内政部 链接
戴维·诺曼(David A.Naumann)。 对象不变量和模拟的基于断言的封装。 (英语) Zbl 1123.68022号 正式Asp。计算。 19,第2期,205-224(2007)。理学硕士:68甲19 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},正式Asp。计算。19,第2号,205-224(2007;Zbl 1123.68022) 全文: 内政部
戴维·诺曼(David A.Naumann)。 观察纯度和封装。 (英语) Zbl 1116.68052号 西奥。计算。科学。 376,第3号,205-224(2007)。理学硕士:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。376,第3号,205--224(2007;Zbl 1116.68052) 全文: 内政部