弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马蒂·奥利特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 (英语) Zbl 1494.68109号 J.日志。阿尔盖布。方法计划。 110,文章ID 100497,58 p.(2020).MSC公司:2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100497,58 p.(2020;Zbl 1494.68109) 全文: 内政部 arXiv公司
Alpunte,M。;弗雷奇纳,F。;萨皮尼亚,J。;D.巴利斯。 通过使用\(\mathsf{ABETS}\)切片进行基于断言的分析(系统描述)。 (英语) Zbl 1379.68088号 理论与实践。日志。程序。 16,编号5-6,515-532(2016).MSC公司:68N20型 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。16,编号5-6155-532(2016;兹bl 1379.68088) 全文: 内政部 arXiv公司