A Methodology for Writing Class Contracts.

Nele Smeets, Eric Steegmans

Browse the full SOFSEM paper archive.