Cite
MLA Citation
EMANUELE DE ANGELIS et al.. “Predicate Pairing for program verification.” Theory and practice of logic programming, vol. 18, no. 2, 2018, pp. 126–166. http://access.bl.uk/ark:/81055/vdc_100060707056.0x000020
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
EMANUELE DE ANGELIS et al.. “Predicate Pairing for program verification.” Theory and practice of logic programming, vol. 18, no. 2, 2018, pp. 126–166. http://access.bl.uk/ark:/81055/vdc_100060707056.0x000020