research

Building safe software

Authors
Publication date
1 January 1986
Publisher
eScholarship, University of California

Abstract

Murphy is a set of techniques and tools under investigation for their potential in enhancing the safety of software. This paper describes some of the work which has been done and some which is planned

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Sustaining member

    eScholarship - University of California

    redirect
    oaioai:escholarship.org:ark:/1303...
    Last time updated on 25/12/2021