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 01.12.1976, 00:00 by William A. Wulf, Ralph L. London, Mary Shaw
Institute for Software Research

History

Date

01/12/1976

Usage metrics

Exports