Behavioural Contracts for a Sound Assembly of Components.

Cyril Carrez, Alessandro Fantechi, Elie Najm

Browse the full FORTE paper archive.