On contracting different behavioral properties in component-based systems.

Philippe Collet, Alain Ozanne, Nicolas Rivierre

Browse the full SAC paper archive.