Semi-persistent Data Structures (Q5458407)

From MaRDI portal
scientific article; zbMATH DE number 5262453
Language Label Description Also known as
English
Semi-persistent Data Structures
scientific article; zbMATH DE number 5262453

    Statements

    title
    Semi-persistent Data Structures (English)
    0 references
    publication date
    11 April 2008
    0 references
    zbMATH DE Number
    5262453
    0 references
    describes a project that uses
    Spec#
    0 references
    KRAKATOA
    0 references
    Alt-Ergo
    0 references
    Why3
    0 references
    OpenAlex ID
    W2130816688
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5458407&oldid=32663751"
    Powered by MediaWiki