No label defined (Q5057637)

From MaRDI portal
scientific article; zbMATH DE number 7633799
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7633799

    Statements

    publication date
    16 December 2022
    0 references
    zbMATH DE Number
    7633799
    0 references
    describes a project that uses
    CafeOBJ
    0 references
    Isabelle/HOL
    0 references
    HeteroGenius
    0 references
    PVS
    0 references
    Nitpick
    0 references
    Coq
    0 references
    Alloy
    0 references
    Kodkod
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5057637&oldid=29150852"
    Powered by MediaWiki