Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

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

Tagungsband

Autor(en):Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos und Mattias Ulbrich
Zeitschrift:CoRR
Band:abs/1907.03523
Jahr:2019
URL:http://arxiv.org/abs/1907.03523
DOI:10.4204/eptcs.296

BibTeX

@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}
}