Scifaro

中文

第八届验证与综合中的霍恩子句研讨会论文集

计算机科学中的逻辑 2021-09-10 v1 软件工程

作者: Hossein Hojjat , Bishoksan Kafle

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷收录了第八届验证与综合中的霍恩子句研讨会（HCVS）的会后论文集。该研讨会因Covid-19疫情以线上形式举行，作为ETAPS的附属研讨会。

关键词

霍恩子句验证综合 HCVS研讨会论文集 ETAPS

引用

@article{arxiv.2109.03988,
  title  = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis},
  author = {Hossein Hojjat and Bishoksan Kafle},
  journal= {arXiv preprint arXiv:2109.03988},
  year   = {2021}
}