Extending a Method of Devising Software Contracts

Richard Mitchell, James McKim. Extending a Method of Devising Software Contracts. In TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia. pages 234, IEEE Computer Society, 1999. [doi]

Authors

Richard Mitchell

This author has not been identified. Look up 'Richard Mitchell' in Google

James McKim

This author has not been identified. Look up 'James McKim' in Google