曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默,Jan 观察程序计算和翻译的正确性。 (英语) Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Theor。计算。科学。577、98——124(2015年;Zbl 1309.68052) 全文: 内政部 哈尔
大卫·萨贝尔 像素中的结构重写。 (英语) 兹比尔1428.68205 Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).MSC公司:68问题85 第68季度第42季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel},OASIcs--OpenAccess服务器。通知。40、51-62(2014年;Zbl 1428.68205) 全文: 内政部