Creating Sequential Programs from Event-B Models

Pontus Boström

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationIntegrated Formal Methods: 8th International Conference (IFM2010)
    EditorsD Méry, S Merz
    PublisherSpringer
    Pages74–88
    ISBN (Electronic)978-3-642-16265-7
    ISBN (Print)978-3-642-16264-0
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Integrated Formal Methods, IFM - 8th International Conference on Integrated Formal Methods, IFM 2010
    Duration: 11 Oct 201014 Oct 2010

    Conference

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

    Cite this