Case studies and tools for contract specifications.

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst

Browse the full ICSE paper archive.