约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 适用类层次结构的证明系统。 (英语) Zbl 1304.68031号 J.日志。代数。方法计划。 84,第1期,37-53(2015).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。代数。方法计划。84,第1号,37-53(2015;Zbl 1304.68031) 全文: 内政部
费卢西奥·达米亚尼;约翰·多夫兰;艾纳尔·布罗赫·约翰森;伊娜·谢弗 验证特性:细粒度重用的增量证明系统。 (英语) Zbl 1342.68059号 正式Asp。计算。 26,第4期,761-793(2014).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人,正式Asp。计算。26,第4号,761--793(2014;Zbl 1342.68059) 全文: 内政部 链接
Din、Crystal Chang;Owe、Olaf 一个完善的推理系统,用于与共享未来进行异步通信。 (英语) Zbl 1371.68190号 J.日志。代数。方法计划。 83,编号5-6,360-383(2014).MSC公司:68问题85 03B70号 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe},J.Log。代数。方法计划。83,编号5--6,360-383(2014;Zbl 1371.68190) 全文: 内政部
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。代数。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。代数。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 针对多重继承的具有惰性行为子类型的增量推理。 (英语) Zbl 1221.68058号 科学。计算。程序。 76,第10期,915-941(2011).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,科学。计算。程序。76,第10号,915--941(2011;Zbl 1221.68058) 全文: 内政部
斯曼斯(Jan Smans);巴特·雅各布斯;弗兰克·皮森斯;沃尔夫拉姆·舒尔特 使用动态框架自动验证Java程序。 (英语) Zbl 1204.68131号 正式Asp。计算。 22,编号3-4,423-457(2010).MSC公司:60年第68季度 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Smans}等人,正式Asp。计算。22,编号3--4,423--457(2010;Zbl 1204.68131) 全文: 内政部 哈尔