Reducing the barriers to writing verified specifications.

Todd W. Schiller, Michael D. Ernst

Browse the full OOPSLA paper archive.