乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔,托马斯 Juggrnaut:使用图形语法抽象无限堆结构。 (英语) Zbl 1341.68033号 形式方法系统。设计。 47,第2期,159-203(2015).MSC公司:68第05页 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人,《形式方法系统》。设计。47,No.2,159--203(2015;Zbl 1341.68033) 全文: 内政部
于、方;穆阿特·阿尔卡拉夫;特维克布尔坦;奥斯卡·H·伊瓦拉。 基于自动符号字符串分析的漏洞检测。 (英语) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68米11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,《形式方法系统》。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
约琴·艾辛格;费利克斯·克莱特克 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 (英语) Zbl 1165.68393号 形式方法系统。设计。 33,编号1-3,85-115(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisinger}和\textit{F.Klaedtke},《形式方法系统》。设计。33,编号1--3,85-115(2008;Zbl 1165.68393) 全文: 内政部 链接
阿比·瓦尔丹;马赫什·维斯瓦纳坦 学习验证分支时间属性。 (英语) Zbl 1118.68554号 形式方法系统。设计。 31,第1期,35-61(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Vardhan}和\textit{M.Viswanathan},表格方法系统。设计。31,第1号,35--61(2007;Zbl 1118.68554) 全文: 内政部 链接