Creating Sequential Programs from Event-B Models

Pontus Boström

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    8 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoIntegrated Formal Methods: 8th International Conference (IFM2010)
    ToimittajatD Méry, S Merz
    KustantajaSpringer
    Sivut74–88
    ISBN (elektroninen)978-3-642-16265-7
    ISBN (painettu)978-3-642-16264-0
    DOI - pysyväislinkit
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Integrated Formal Methods, IFM - 8th International Conference on Integrated Formal Methods, IFM 2010
    Kesto: 11 lokakuuta 201014 lokakuuta 2010

    Konferenssi

    KonferenssiInternational Conference on Integrated Formal Methods, IFM
    Ajanjakso11/10/1014/10/10

    Viittausmuodot