约翰·多夫兰;埃纳尔·布罗赫·约翰森;奥维,奥拉夫;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) 全文: 内政部 链接
约翰·多夫兰;埃纳尔·布罗赫·约翰森;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) 全文: 内政部