A precise pictorial language for array invariants

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Redaktörer: Furia C., Winter K.
Förläggare: Springer Verlag
Publiceringsår: 2018
Förläggare: Springer
Moderpublikationens namn: Integrated Formal Methods
Artikelns första sida, sidnummer: 151
Artikelns sista sida, sidnummer: 160
ISBN: 9783319989372

Senast uppdaterad 2019-15-10 vid 03:08