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
Reasoning about Assignments in Recursive Data Structures - MaRDI portal

Reasoning about Assignments in Recursive Data Structures (Q2999318)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning about Assignments in Recursive Data Structures
scientific article

    Statements

    title
    Reasoning about Assignments in Recursive Data Structures (English)
    0 references
    author
    Alejandro Tamalet
    0 references
    Ken Madlener
    0 references
    publication date
    12 May 2011
    0 references
    zbMATH DE Number
    5887524
    0 references
    describes a project that uses
    Why3
    0 references
    KRAKATOA
    0 references
    Caduceus
    0 references
    Eiffel
    0 references
    Smallfoot
    0 references
    OpenAlex ID
    W1707734666
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2999318&oldid=35226602"
    Powered by MediaWiki