TY  - RPRT
TI  - Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
AU  - Emanuele De Angelis
AU  - Grigory Fedyukovich
AU  - Nikos Tzevelekos
AU  - Mattias Ulbrich
PY  - 2019
DO  - 10.4204/eptcs.296
UR  - https://arxiv.org/abs/1907.03523
ID  - 1907.03523
ER  -