×

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

最新 引文 关联
Leino，K.Rustan M。;彼得·米勒;斯曼斯（Jan Smans）

无死锁通道和锁。 （英语） Zbl 1260.68078号

Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012407-426（2010）。
MSC公司：68甲19 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}等人，Lect。注释计算。科学。6012407--426（2010年；Zbl 1260.68078）
全文： 内政部
Leino，K.Rustan M。;彼得·米勒

验证多线程程序的基础。 （英语） Zbl 1234.68078号

朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502378-393（2009）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{P.Müller}，Lect。注释计算。科学。5502378-393（2009年；兹比尔1234.68078）
全文： 内政部
Leino，K.Rustan M。;舒尔特，Wolfram

多线程面向对象语言的验证编译器。 （英语） 兹比尔1153.68016

Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息和通信安全9，351-416（2007年）。
MSC公司：68N20型 68甲15 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{W.Schulte}，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。351--416（2007；Zbl 1153.68016）
Leino，K.Rustan M。;彼得·米勒

模型字段的验证方法。 （英语） Zbl 1178.68348号

Peter Sestoft（编辑），《编程语言和系统》。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。计算机科学课堂讲稿3924115-130（2006）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{P.Müller}，Lect。注释计算。科学。3924115-130（2006年；Zbl 1178.68348）
全文： 内政部
Leino，K.Rustan M。;彼得·米勒

静态类不变量的模块化验证。 （英语） Zbl 1120.68377号

Fitzgerald，John（编辑）等人，FM 2005：正式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。《计算机科学讲义》3582，26-42（2005）。
MSC公司：68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.R.M.Leino}和\textit{P.Müller}，Lect。注释计算。科学。3582，26-42（2005；Zbl 1120.68377）
全文： 内政部
Chang，Bor-Yuh Evan先生;Leino，K.Rustan M。

使用外来表达式和堆结构进行抽象解释。 （英语） Zbl 1111.68397号

Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385，147-163（2005）。
MSC公司：68号30 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.-Y.E.Chang}和\textit{K.R.M.Leino}，Lect。注释计算。科学。3385147-163（2005年；Zbl 1111.68397）
全文： 内政部
马丁·阿巴迪;Leino，K.Rustan M。

面向对象程序的逻辑。 （英语） Zbl 1274.68055号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿277211-41（2003）。
MSC公司：68甲19 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}和\textit{K.R.M.Leino}，莱克特。注释计算。科学。2772，11--41（2003；Zbl 1274.68055）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件