摘要：一种高阶Horn约束类的解决方案及其在验证程序的应用
作者：Jerome Jochems and Eddie Jones and Steven Ramsay
论文ID：2210.14649
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-10-27
PDF 下载： 英文版 中文版pdf翻译中