A precise pictorial language for array invariants

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    1 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationIntegrated Formal Methods
    RedaktörerC. Furia, K. Winter
    FörlagSpringer
    Sidor151–160
    ISBN (tryckt)9783319989372
    DOI
    StatusPublicerad - 2018
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
    Varaktighet: 1 jan 2018 → …

    Konferens

    KonferensInternational Conference on Integrated Formal Methods
    Period01/01/18 → …

    Citera det här