Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

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

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
    EditorsE Albert, E Sekerinski
    PublisherSpringer
    Pages189–204
    ISBN (Electronic)978-3-319-10181-1
    ISBN (Print)978-3-319-10180-4
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-09-09; 2014-09-11 - Bertinoro, Italy
    Duration: 9 Sep 201411 Sep 2014

    Conference

    Conferenceconference; 2014-09-09; 2014-09-11
    Period09/09/1411/09/14

    Cite this