Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi. Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. TPLP, 22(4):555-572, 2022. [doi]
@article{AngelisPFP22,
title = {Verifying Catamorphism-Based Contracts using Constrained Horn Clauses},
author = {Emanuele De Angelis and Maurizio Proietti and Fabio Fioravanti and Alberto Pettorossi},
year = {2022},
doi = {10.1017/S1471068422000175},
url = {https://doi.org/10.1017/S1471068422000175},
researchr = {https://researchr.org/publication/AngelisPFP22},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {22},
number = {4},
pages = {555-572},
}