Towards a Versatile Contract Model to Organize Behavioral Specifications.

Philippe Collet, Alain Ozanne, Nicolas Rivierre

Browse the full SOFSEM paper archive.