Proofs and Refutations in Invariant-Based Programming

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
    RedaktörerE Albert, E Sekerinski
    FörlagSpringer
    Sidor189–204
    ISBN (elektroniskt)978-3-319-10181-1
    ISBN (tryckt)978-3-319-10180-4
    DOI
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-09-09; 2014-09-11 - Bertinoro, Italy
    Varaktighet: 9 sep 201411 sep 2014

    Konferens

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

    Citera det här