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]

Vicious circles in contracts and in logic

Zunino, Roberto
2015-01-01

2015
Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/110962
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact