Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaETH-Zürich
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot