A Contract-Oriented Middleware

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu. A Contract-Oriented Middleware. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 86-104, Springer, 2015. [doi]

Authors

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Tiziana Cimoli

This author has not been identified. Look up 'Tiziana Cimoli' in Google

Maurizio Murgia

This author has not been identified. Look up 'Maurizio Murgia' in Google

Alessandro Sebastian Podda

This author has not been identified. Look up 'Alessandro Sebastian Podda' in Google

Livio Pompianu

This author has not been identified. Look up 'Livio Pompianu' in Google