Studying program correctness by constructing contracts.

Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson

Browse the full ITiCSE paper archive.