@article{9475995c76ab457582ba05fc3006528a,
title = "Verification and code generation for invariant diagrams in Isabelle",
author = "Viorel Preoteasa and Ralph-Johan Back and Johannes Eriksson",
note = "Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) Special Issue: Domains X, International workshop on Domain Theory and applications, Swansea, 5-7 September, 2011",
year = "2015",
doi = "10.1016/j.jlap.2013.09.001",
language = "Odefinierat/ok{\"a}nt",
volume = "84",
pages = "19–36",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2208",
publisher = "Elsevier",
number = "1",
}