Hoare Logic's for Run-time Analysis of Programs

    Research output: Book/ReportPh.D. thesis

    Original languageEnglish
    Publication statusPublished - 1984

    Bibliographical note

    Publisher Edinburgh University

    Cite this