Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Symbolic Memory with Pointers - MaRDI portal

Symbolic Memory with Pointers (Q3457810)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic Memory with Pointers
scientific article

    Statements

    title
    Symbolic Memory with Pointers (English)
    0 references
    author
    Marek Trtík
    0 references
    Jan Strejček
    0 references
    publication date
    17 December 2015
    0 references
    describes a project that uses
    CUTE
    0 references
    z3
    0 references
    KLEE
    0 references
    Pex
    0 references
    Bugst
    0 references

    Identifiers

    zbMATH DE Number
    6521687
    0 references
    OpenAlex ID
    W266243929
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3457810&oldid=32651999"
    Powered by MediaWiki