Cleanroom Software Engineering: Theory and Practice.

Michael D. Deck, Philip A. Hausler

Browse the full SEKE paper archive.