Contracts: Specifying Behavioural Compositions in Object-Oriented Systems.

Richard Helm, Ian M. Holland, Dipayan Gangopadhyay

Browse the full OOPSLA paper archive.