×

找到9个文档（结果1-9）

最新的 引文 关联
亚历山大·克努佩尔;托马斯·图姆;卡斯滕·伊曼纽尔·帕迪拉;伊娜·谢弗

理解演绎验证的参数：KeY的实证调查。 （英语） 兹比尔1511.68317

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日，作为联邦逻辑会议的一部分，2018年第九届国际会议ITP在英国牛津举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 342-361 (2018).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。10895、342--361（2018年；Zbl 1511.68317）
全文： 内政部
阮，Thi Minh Tuyen;克劳德·马奇

数值程序的硬件相关证明。 （英语） 兹比尔1350.68241

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，314-329（2011）。
MSC公司：68吨15 68号30 60年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.M.T.Nguyen}和\textit{C.Marché}，莱克特。注释计算。科学。7086、314--329（2011；Zbl 1350.68241）
全文： 内政部 哈尔
Leino，K.Rustan M。

Dafny：用于功能正确性的自动程序验证器。 （英语） Zbl 1253.68095号

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，348-370（2010）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}，莱克特。注释计算。科学。6355348--370（2010年；Zbl 1253.68095）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件