Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa; Ralph-Johan Back; Johannes Eriksson

doi:10.1016/j.jlap.2013.09.001

Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Sidor (från-till)	19–36
Tidskrift	Journal of Logical and Algebraic Methods in Programming
Volym	84
Nummer	1
DOI	https://doi.org/10.1016/j.jlap.2013.09.001
Status	Publicerad - 2015
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

10.1016/j.jlap.2013.09.001

Citera det här

@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",

}

TY - JOUR

T1 - Verification and code generation for invariant diagrams in Isabelle

AU - Preoteasa, Viorel

AU - Back, Ralph-Johan

AU - Eriksson, Johannes

N1 - 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

PY - 2015

Y1 - 2015

U2 - 10.1016/j.jlap.2013.09.001

DO - 10.1016/j.jlap.2013.09.001

M3 - Artikel

SN - 2352-2208

VL - 84

SP - 19

EP - 36

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 1

ER -