De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2016). Horn clause transformation for program verification [Working paper].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
DFPP_ALP-16.pdf
solo utenti autorizzati
Licenza:
Non specificato
Dimensione
244.68 kB
Formato
Adobe PDF
|
244.68 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.