Creating Sequential Programs from Event-B Models

Pontus Boström

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    8 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationIntegrated Formal Methods: 8th International Conference (IFM2010)
    RedaktörerD Méry, S Merz
    FörlagSpringer
    Sidor74–88
    ISBN (elektroniskt)978-3-642-16265-7
    ISBN (tryckt)978-3-642-16264-0
    DOI
    StatusPublicerad - 2010
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Integrated Formal Methods, IFM - 8th International Conference on Integrated Formal Methods, IFM 2010
    Varaktighet: 11 okt 201014 okt 2010

    Konferens

    KonferensInternational Conference on Integrated Formal Methods, IFM
    Period11/10/1014/10/10

    Citera det här