BCL: A compositional contract language for embedded systems.

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis

Browse the full ETFA paper archive.