Emanuele De, A., Fabio, F., Pettorossi, A., Maurizio, P. (2018). Predicate Pairing for program verification. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 18(2), 126-166 [10.1017/S1471068417000497].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.