Peer-reviewed publications

A4 Conference proceedings
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
View on publisher's site
A1 Journal article (refereed)
Verification and code generation for invariant diagrams in Isabelle (2015)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
View on publisher's site
A4 Conference proceedings
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
View on publisher's site

Last updated on 2017-20-06 at 09:51