De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2015). Proving correctness of imperative programs by linearizing constrained Horn clauses. ??????? it.cilea.surplus.oa.citation.tipologie.CitationProceedings.prensentedAt ??????? International Workshop on verification and program transformation (VPT-2015), London, UK [10.1017/S1471068415000289].
Proving correctness of imperative programs by linearizing constrained Horn clauses
PETTOROSSI, ALBERTO;
2015-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2015_DFPP_VPT.pdf
solo utenti autorizzati
Licenza:
Non specificato
Dimensione
195.62 kB
Formato
Adobe PDF
|
195.62 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.