A precise pictorial language for array invariants

Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Integrated Formal Methods
Redaktörer	C. Furia, K. Winter
Förlag	Springer
Sidor	151–160
ISBN (tryckt)	9783319989372
DOI	https://doi.org/10.1007/978-3-319-98938-9_9
Status	Publicerad - 2018
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods Varaktighet: 1 jan. 2018 → …

Konferens	International Conference on Integrated Formal Methods
Period	01/01/18 → …

Åtkomst av dokument

@inproceedings{db11e106a16a4e3b8aeed89e70a67476,

title = "A precise pictorial language for array invariants",

author = "Johannes Eriksson and Masoumeh Parsa and Ralph-Johan Back",

year = "2018",

doi = "10.1007/978-3-319-98938-9_9",

language = "Odefinierat/ok{\"a}nt",

isbn = "9783319989372",

pages = "151–160",

editor = "C. Furia and K. Winter",

booktitle = "Integrated Formal Methods",

publisher = "Springer",

note = "International Conference on Integrated Formal Methods ; Conference date: 01-01-2018",

}

TY - GEN

T1 - A precise pictorial language for array invariants

AU - Eriksson, Johannes

AU - Parsa, Masoumeh

AU - Back, Ralph-Johan

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-98938-9_9

DO - 10.1007/978-3-319-98938-9_9

M3 - Konferensbidrag

SN - 9783319989372

SP - 151

EP - 160

BT - Integrated Formal Methods

A2 - Furia, C.

A2 - Winter, K.

PB - Springer

T2 - International Conference on Integrated Formal Methods

Y2 - 1 January 2018

ER -