Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).理学硕士:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
弗朗西斯科·洛戈佐;曼努埃尔·Fähndrich 五边形:用于有效验证数组访问的弱关系抽象域。 (英语) Zbl 1197.68035号 科学。计算。程序。 75,第9期,796-807(2010).理学硕士:68甲15 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Logozzo}和\textit{M.Fähndrich},科学。计算。程序。75,第9号,796--807(2010;Zbl 1197.68035) 全文: 内政部