埃纳尔·布罗赫·约翰森;马丁·斯特芬;Johanna Beate Stumpf 虚拟定时环境:嵌套虚拟化的演算。 (英语) Zbl 1381.68205号 J.日志。代数。方法计划。 94, 109-127 (2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。代数。方法计划。94109-127(2018年;兹比尔1381.68205) 全文: 内政部 链接
约翰·多夫兰;埃纳尔·布罗赫·约翰森;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) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;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) 全文: 内政部
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 Creol:分布式并发系统的一种类型安全的面向对象模型。 (英语) Zbl 1118.68031号 西奥。计算。科学。 365,第1-2期,23-66(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,Theor。计算。科学。365,编号1--2,23-66(2006;Zbl 1118.68031) 全文: 内政部