Verification and code generation for invariant diagrams in Isabelle

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
Förläggare: Elsevier
Publiceringsår: 2015
Volym: 84
Nummer: 1
Artikelns första sida, sidnummer: 19
Artikelns sista sida, sidnummer: 36

Senast uppdaterad 2019-22-09 vid 03:04