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

@proceedings{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},
  doi       = {10.4204/eptcs.296},
  year      = {2019},
  month     = jul,
  url       = {http://arxiv.org/abs/1907.03523},
  archivePrefix = {arXiv},
  eprint    = {1907.03523}
}