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.
Titolo: | Vicious circles in contracts and in logic |
Autori: | Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto |
Autori Unitn: | |
Titolo del periodico: | SCIENCE OF COMPUTER PROGRAMMING |
Anno di pubblicazione: | 2015 |
Codice identificativo Scopus: | 2-s2.0-84932197779 |
Codice identificativo ISI: | WOS:000358469900004 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.scico.2015.01.005 |
Handle: | http://hdl.handle.net/11572/110962 |
Citazione: | 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. |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
main.pdf | Post-print referato (Refereed author’s manuscript) | Tutti i diritti riservati (All rights reserved) | Administrator |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione