%0 Journal Article %1 journals/jlp/PreoteasaBE15 %A Preoteasa, Viorel %A Back, Ralph-Johan %A Eriksson, Johannes %D 2015 %J J. Log. Algebraic Methods Program. %K dblp %N 1 %P 19-36 %T Verification and code generation for invariant diagrams in Isabelle. %U http://dblp.uni-trier.de/db/journals/jlp/jlp84.html#PreoteasaBE15 %V 84

@article{journals/jlp/PreoteasaBE15, added-at = {2021-02-16T00:00:00.000+0100}, author = {Preoteasa, Viorel and Back, Ralph-Johan and Eriksson, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/2f5d0a9e576c35aa1aa4c2be057ecca1f/dblp}, ee = {https://doi.org/10.1016/j.jlap.2013.09.001}, interhash = {8b1c9ae8d63ea8b9d7c05de953d90827}, intrahash = {f5d0a9e576c35aa1aa4c2be057ecca1f}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 1, pages = {19-36}, timestamp = {2024-04-08T10:50:06.000+0200}, title = {Verification and code generation for invariant diagrams in Isabelle.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp84.html#PreoteasaBE15}, volume = 84, year = 2015 }