A Contract-Oriented Middleware

Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio (2016) A Contract-Oriented Middleware. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (LNCS), 9539. Springer pp. 86-104. ISBN 9783319289335. E-ISBN 9783319289342. (doi:https://doi.org/10.1007/978-3-319-28934-2_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
https://doi.org/10.1007/978-3-319-28934-2_5
Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Maurizio Murgia
Date Deposited: 21 Nov 2017 15:52 UTC
Last Modified: 22 Nov 2017 11:42 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/64598 (The current URI for this page, for reference purposes)
  • Depositors only (login required):