Scifaro

中文

第六届 Horn 子句验证与综合研讨会暨第三届程序等价与关系推理研讨会会议论文集

计算机科学中的逻辑 2019-07-09 v1

作者: Emanuele De Angelis , Grigory Fedyukovich , Nikos Tzevelekos , Mattias Ulbrich

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本卷收录了第三届程序等价与关系推理研讨会（PERR）与第六届 Horn 子句验证与综合研讨会（HCVS）的联合会后论文集，这两个研讨会分别于 4 月 6 日和 7 日在捷克共和国布拉格举行，作为 ETAPS 的附属研讨会。

关键词

Horn 子句验证综合程序等价关系推理研讨会论文集

引用

@article{arxiv.1907.03523,
  title  = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning},
  author = {Emanuele De Angelis and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich},
  journal= {arXiv preprint arXiv:1907.03523},
  year   = {2019}
}