Verification and code generation for invariant diagrams in Isabelle

A1 Journal article (refereed)


Internal Authors/Editors


Publication Details

List of Authors: Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
Publisher: Elsevier
Publication year: 2015
Volume number: 84
Issue number: 1
Start page: 19
End page: 36

Last updated on 2019-19-11 at 04:49