Carnegie Mellon University
Browse

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 Shaw
Institute for Software Research

History

Date

1976-12-01

Usage metrics

    Categories

    Keywords

    Software ResearchComputer Software not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC