赫尔穆特·塞德尔;拉尔夫·福格勒 自上而下求解器的三个改进。 (英语) 兹比尔1489.68053 数学。结构。计算。科学。 1090-1134(2021)第9号第31页.MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{R.Vogler},数学。结构。计算。科学。31,第9号,1090--1134(2021;Zbl 1489.68053) 全文: 内政部
赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·福格勒 增量抽象解释。 (英语) Zbl 1440.68047号 Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 132-148 (2020).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}等人,Lect。注释计算。科学。12065、132--148(2020;Zbl 1440.68047) 全文: 内政部
斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止程序间分析。 (英语) Zbl 1425.68083号 形式方法系统。设计。 53,第2期,313-338(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人,《形式方法系统》。设计。53,No.2,313--338(2018;Zbl 1425.68083) 全文: 内政部 arXiv公司