A precise pictorial language for array invariants
Publiceringsår
2018
Upphovspersoner
Johannes Eriksson; Masoumeh Parsa; Ralph-Johan Back
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal/Serie
Integrated Formal Methods
Moderpublikationens namn
Konferens
International Conference on Integrated Formal Methods
Sidor
151–160
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Internationell
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-98938-9_9
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja