伦纳特·贝林格 已验证的软件单元。 （英语） Zbl 1473.68035号 Yoshida，Nobuko（编辑），《编程语言与系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 118-147 (2021).MSC公司：68甲15 03B70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛L.Beringer｝，Lect。注释计算。科学。12648118-147（2021年；Zbl 1473.68035） 全文： 内政部
伦纳特·贝林格；罗伯特·格拉博夫斯基；马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 （英语） Zbl 1290.68034号 计算。语言系统。结构。 39，第2号，49-65（2013）.MSC公司：68号30 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，计算。语言系统。结构。39、第2号、第49-65号（2013；Zbl 1290.68034） 全文： 内政部
伦纳特·贝林格 关系分解。 （英语） Zbl 1342.68070号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，39-54（2011）。MSC公司：68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}，莱克特。注释计算。科学。6898，39-54（2011；Zbl 1342.68070） 全文： 内政部
伦纳特·贝林格 关系字节码相关性。 （英语） Zbl 1204.68070号 J.日志。阿尔盖布。程序。 79，第7期，483-514（2010）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Beringer｝，J.日志。阿尔盖布。程序。79，第7号，483--514（2010；Zbl 1204.68070） 全文： 内政部
伦纳特·贝林格；马丁·霍夫曼；玛丽埃拉·巴夫洛娃 使用Mobius基本逻辑进行认证。 （英语） 兹比尔1209.68121 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。计算机科学课堂讲稿538225-51（2008）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，Lect。注释计算。科学。5382，25-51（2008；Zbl 1209.68121） 全文： 内政部
大卫·阿斯皮纳尔；伦纳特·贝林格；马丁·霍夫曼；汉斯·沃夫冈·洛伊德；阿尔贝托·莫米利亚诺 资源的程序逻辑。 （英语） Zbl 1133.68010号 西奥。计算。科学。 389，第3期，411-445（2007）.MSC公司：68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Theor。计算。科学。389，第3号，411--445（2007；Zbl 1133.68010） 全文： 内政部 链接