Verification and code generation for invariant diagrams in Isabelle

Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    2 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Sidor (från-till)19–36
    TidskriftJournal of Logical and Algebraic Methods in Programming
    Volym84
    Utgåva1
    DOI
    StatusPublicerad - 2015
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här