Creating Sequential Programs from Event-B Models

Pontus Boström

    Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

    OriginalspråkOdefinierat/okänt
    FörlagTurku Centre for Computer Science (TUCS)
    ISBN (tryckt)978-952-12-2338-9
    StatusPublicerad - 2009
    MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

    Citera det här