Contract-Oriented Computing in CO2

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino. Contract-Oriented Computing in CO2. Sci. Ann. Cuza Univ., 22(1):5-60, 2012. [doi]

Abstract

Abstract is missing.