古罗夫,帝力;玛丽克·赫斯曼 通过过程将程序的行为属性减少为结构属性。 (英语) Zbl 1291.68259号 西奥。计算。科学。 480, 69-103 (2013)。MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}和\textit{M.Huisman},Theor。计算。科学。480,69-103(2013;Zbl 1291.68259) 全文: 内政部
古罗夫,帝力;玛丽克·赫斯曼;克里斯托夫·斯普伦格 用程序对顺序程序进行组合验证。 (英语) Zbl 1153.68036号 Inf.计算。 206,第7号,840-868(2008)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}等人,《信息计算》。206,第7号,840--868(2008;Zbl 1153.68036) 全文: 内政部