TY  - RPRT
TI  - Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
AU  - Geoffrey W. Hamilton
AU  - Temesghen Kahsai
AU  - Maurizio Proietti
PY  - 2022
DO  - 10.4204/eptcs.373
UR  - https://arxiv.org/abs/2211.10675
ID  - 2211.10675
ER  -