TY  - RPRT
TI  - Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
AU  - Laurent Fribourg
AU  - Matthias Heizmann
PY  - 2020
DO  - 10.4204/eptcs.320
UR  - https://arxiv.org/abs/2008.02483
ID  - 2008.02483
ER  -