An Introduction to the Construction and Verification of Alphard Programs (Abstract).

William A. Wulf, Ralph L. London, Mary Shaw

Browse the full ICSE paper archive.