File(s) stored somewhere else
Please note: Linked content is NOT stored on Carnegie Mellon University and we can't guarantee its availability, quality, security or accept any liability.
An Introduction to the Construction and Verification of Alphard Programs
journal contribution
posted on 1976-12-01, 00:00 authored by William A. Wulf, Ralph L. London, Mary ShawInstitute for Software Research