约翰·多夫兰;埃纳尔·布罗赫·约翰森;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) 全文: DOI程序
费卢西奥·达米亚尼;约翰·多夫兰;艾纳尔·布罗赫·约翰森;伊娜·谢弗 验证特性:细粒度重用的增量证明系统。 (英语) 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) 全文: DOI程序 链接
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) 全文: DOI程序
约翰·多夫兰;埃纳尔·布罗赫·约翰森;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) 全文: DOI程序
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 懒惰的行为子类型。 (英语) 兹比尔1204.68072 J.日志。阿尔盖布。程序。 79,第7期,578-607(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。阿尔盖布。程序。79,第7号,578--607(2010;Zbl 1204.68072) 全文: DOI程序 链接
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 多重继承的增量推理。 (英语) Zbl 1211.68084号 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423,215-230(2009)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,Lect。注释计算。科学。5423、215--230(2009年;Zbl 1211.68084) 全文: DOI程序
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 动态系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1277.68056号 Goldin,Dina(编辑)等人,交互计算基础研讨会论文集(FinCo 2007),葡萄牙布拉加,2007年3月31日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》203,第3期,19-34(2008)。MSC公司:68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,《电子》。理论注释。计算。科学。203、3号、19-34(2008;Zbl 1277.68056) 全文: DOI程序