尼科利奇,乌里卡;福斯托·斯波托 推断数组的完整初始化。 (英语) 兹比尔1292.68104 西奥。计算。科学。 484, 16-40 (2013).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Đ.Nikolić}和\textit{F.Spoto},Theor。计算。科学。484,16-40(2013;Zbl 1292.68104) 全文: 内政部
罗伯特·巴格纳拉;帕特里夏·M·希尔。;埃纳州扎法内拉 多面体计算在硬件和软件系统分析和验证中的应用。 (英语) Zbl 1187.68311号 西奥。计算。科学。 410,第46号,4672-4691(2009).MSC公司:60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,Theor。计算。科学。410,编号46,4672--4691(2009;Zbl 1187.68311) 全文: 内政部 arXiv公司