法比奥·菲奥拉万蒂;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 使用约束逻辑编程和程序转换高效生成测试数据结构。 (英文) Zbl 1328.68041号 J.日志。计算。 25,第6号,1263-1283(2015).MSC公司:68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,J.Log。计算。25,第6号,1263--1283(2015;Zbl 1328.68041) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 通过程序变换证明定理。 (英文) 兹伯利1315.03019 芬达姆。通知。 127,编号1-4,115-134(2013).MSC公司:03B35型 03B44号 68N17号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。127,编号1-4,115-134(2013;兹bl 1315.03019) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 控制基于专业化验证的多元方差。 (英文) Zbl 1268.68110号 芬达姆。通知。 124,第4期,483-502(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。124,第4号,483--502(2013;Zbl 1268.68110) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 逻辑程序转换的基于约束的正确性证明。 (英文) Zbl 1259.68036号 正式Asp。计算。 24,第4-6号,569-594(2012).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,正式Asp。计算。24、编号4--6569--594(2012;Zbl 1259.68036) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 通过专门化改进无限状态系统的可达性分析。 (英文) Zbl 1279.68209号 芬达姆。通知。 119,编号3-4,281-300(2012).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。119,编号3--4,281--300(2012;Zbl 1279.68209) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限列表上逻辑程序的转换。 (英文) Zbl 1209.68096号 理论与实践。日志。程序。 10,编号4-6,383-399(2010).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,《理论与实践》。日志。程序。10,编号4-6-383-399(2010年;Zbl 1209.68096) 全文: 内政部 arXiv公司
Valerio Senni公司;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 从约束逻辑程序中消除存在变量的折叠规则。 (英文) Zbl 1207.68120号 芬达姆。通知。 96,第3期,373-393(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Senni}等人,Fundam。通知。96,第3号,373--393(2009;Zbl 1207.68120) 全文: 内政部