![](/img/cover-not-exists.png)
Predicate Pairing for program verification
DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, PETTOROSSI, ALBERTO, PROIETTI, MAURIZIOLanguage:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068417000497
Date:
December, 2017
File:
PDF, 423 KB
english, 2017