TY  - RPRT
TI  - Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
AU  - Emanuele De Angelis
AU  - Fabio Fioravanti
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2022
DO  - 10.1017/s1471068422000175
UR  - https://arxiv.org/abs/2205.06236
ID  - 2205.06236
ER  -