Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi. Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. TPLP, 22(4):555-572, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.