David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年)。MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: 内政部
斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止程序间分析。 (英语) 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公司
卡默·阿皮尼;瓦尔莫·维尼;维萨尔·沃达尼 基于地图的抽象领域的需求驱动的过程间分析。 (英语) Zbl 1400.68054号 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018)。MSC公司:68纳米30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: 内政部