@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",
}