Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
马丁·格罗·罗德;弗朗西斯科·帕里西总统;玛尔塔·西蒙 带有类型化图形转换系统的细化和模块的正式软件规范。 (英语) Zbl 1013.68066号 J.计算。系统。科学。 64,第2期,171-218(2002).MSC公司:68号30 68兰特 60年第68季度 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode}等人,J.计算。系统。科学。64,第2号,171--218(2002;Zbl 1013.68066)
米哈利斯·亚纳卡基斯 用线性规划表示组合优化问题。 (英语) Zbl 0748.90074号 J.计算。系统。科学。 43,第3期,441-466(1991). 审核人:N.N.Ivanov(格罗德诺) MSC公司:90立方厘米 52号B12 90C60型 90C27型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{M.Yannakakis},J.计算。系统。科学。43,第3号,441--466(1991;Zbl 0748.90074) 全文: 内政部