Vicious circles in contracts and in logic / Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 109:(2015), pp. 61-95. [10.1016/j.scico.2015.01.005]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
main.pdf
Solo gestori archivio
Tipologia:
Post-print referato (Refereed author’s manuscript)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
562.22 kB
Formato
Adobe PDF
|
562.22 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione