Verifiable abstractions for contract-oriented systems

Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino. Verifiable abstractions for contract-oriented systems. Journal of Logic and Algebraic Programming, 86(1):159-207, 2017. [doi]

Authors

Massimo Bartoletti

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

Maurizio Murgia

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

Alceste Scalas

This author has not been identified. Look up 'Alceste Scalas' in Google

Roberto Zunino

This author has not been identified. Look up 'Roberto Zunino' in Google