A precise pictorial language for array invariants

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoIntegrated Formal Methods
    ToimittajatC. Furia, K. Winter
    KustantajaSpringer
    Sivut151–160
    ISBN (painettu)9783319989372
    DOI - pysyväislinkit
    TilaJulkaistu - 2018
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
    Kesto: 1 tammikuuta 2018 → …

    Konferenssi

    KonferenssiInternational Conference on Integrated Formal Methods
    Ajanjakso01/01/18 → …

    Viittausmuodot