Contract-Based Specification and Verification of Dataflow Programs

Jonatan Wiik, Pontus Boström

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015
    ToimittajatLuca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez, Anna Ingolfsdottir
    KustantajaReykjavik University, Iceland
    Sivut81–83
    TilaJulkaistu - 2016
    OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa
    TapahtumaNordic Workshop on Programming Theory - 27th Nordic Workshop on Programming Theory, NWPT 2015
    Kesto: 21 lokakuuta 201523 lokakuuta 2015

    Konferenssi

    KonferenssiNordic Workshop on Programming Theory
    Ajanjakso21/10/1523/10/15

    Viittausmuodot