An Experience With Design by Contract.

Judy Tantivongsathaporn, Daniel Stearns

Browse the full APSEC paper archive.