Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

    Research output: Book/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherETH-Zürich
    DOIs
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Cite this