Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Journal Article

Author(s):Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, and Mattias Ulbrich
Journal:CoRR
Volume:abs/1907.03523
Year:2019
URL:http://arxiv.org/abs/1907.03523

BibTeX

@article{HCV_PERR_2019,
  author    = {Emanuele {De Angelis} and
               Grigory Fedyukovich and
               Nikos Tzevelekos and
               Mattias Ulbrich},
  title     = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
               and Synthesis and Third Workshop on Program Equivalence and Relational
               Reasoning},
  journal   = {CoRR},
  volume    = {abs/1907.03523},
  year      = {2019},
  month     = jul,
  url       = {http://arxiv.org/abs/1907.03523},
  archivePrefix = {arXiv},
  eprint    = {1907.03523},
  timestamp = {Wed, 17 Jul 2019 10:27:36 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-03523},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}