×

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

最新的 引文 关联
莱恩·伦瑞奇;保罗·A·G·西维洛蒂。

使用RESOLVE框架对Java组件进行形式化验证。 （英语） Zbl 07497928号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12941, 287-305 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{L.Rumreich}和\textit{P.A.G.Sivilotti}，莱克特。注释计算。科学。12941，287--305（2021；Zbl 07497928）
全文： 内政部
卡洛·阿尔贝托·福里亚;贝特朗·梅耶

使用后置条件推断循环不变量。 （英语） Zbl 1287.68108号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，277-300（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Furia}和\textit{B.Meyer}，莱克特。注释计算。科学。6300、277--300（2010；Zbl 1287.68108）
全文： 内政部 arXiv公司
JoséN·奥利维拉。

使用无点变换通过计算扩展静态检查。 （英语） Zbl 1250.68093号

Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲座笔记5520，195-251（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；Zbl 1250.68093）
全文： 内政部 链接
托拜厄斯·盖德尔;雷纳·哈内尔

通过参数代码的并行化进行验证。 （英语） Zbl 1122.68037号

Aguzzoli，Stefano（编辑）等，非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林：施普林格出版社（ISBN 978-3-540-75938-6/pbk）。计算机科学课堂讲稿4460。人工智能课堂讲稿，138-159（2007）。
MSC公司：68号30 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Gedell}和\textit{R.Hähnle}，莱克托。注释计算。科学。4460，138--159（2007；Zbl 1122.68037）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件