Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)19–36
JournalJournal of Logical and Algebraic Methods in Programming
Volume84
Issue number1
DOIs
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

Cite this