A precise pictorial language for array invariants
Julkaisuvuosi
2018
Tekijät
Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Integrated Formal Methods
Emojulkaisun nimi
Konferenssi
International Conference on Integrated Formal Methods
Sivut
151–160
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-98938-9_9
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä