丹尼尔·赫希科夫;Damien Pous;大卫·桑吉奥吉 安全环境的高效抽象机器。 (英语) Zbl 1116.68056号 J.日志。阿尔盖布。程序。 71,第2期,114-149(2007).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。程序。71,第2号,114--149(2007;Zbl 1116.68056) 全文: 内政部 链接
吉尔根·吉斯尔;阿明·库内曼;贾尼斯·沃格特兰德 用于提高可证明性的去累积技术。 (英语) Zbl 1116.68077号 J.日志。阿尔盖布。程序。 71,第2号,79-113(2007).MSC公司:68吨15 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人,J.Log。阿尔盖布。程序。71,No.2,79--113(2007;Zbl 1116.68077) 全文: 内政部