View in EDS PDF Full Text

Predicate Pairing for program verification.

Saved in:
Bibliographic Details
Title: Predicate Pairing for program verification.
Authors: DE ANGELIS, EMANUELE1 emanuele.deangelis@unich.it, FIORAVANTI, FABIO1, PETTOROSSI, ALBERTO2 pettorossi@info.uniroma2.it, PROIETTI, MAURIZIO3 maurizio.proietti@iasi.cnr.it
Source: Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p126-166. 41p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068417000497