Creating Sequential Programs from Event-B Models

Pontus Boström

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-2338-9
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot