A precise pictorial language for array invariants

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Editors: Furia C., Winter K.
Publisher: Springer Verlag
Publication year: 2018
Publisher: Springer
Book title: Integrated Formal Methods
Start page: 151
End page: 160
ISBN: 9783319989372

Last updated on 2019-12-12 at 04:42