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-08-12 at 02:43

Share link