Pubblicazioni (Bartoletti, Massimo)

Towards a linear contract logic (Extended Abstract)

Paolo Di Giamberardino, Massimo Bartoletti, Roberto Zunino (2013) (pdf)

Contract agreements via logic

Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino (2013) (pdf)