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
Abstraction of Object Graphs in Program Verification - MaRDI portal

Abstraction of Object Graphs in Program Verification (Q3575267)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstraction of Object Graphs in Program Verification
scientific article

    Statements

    title
    Abstraction of Object Graphs in Program Verification (English)
    0 references
    author
    Yifeng Chen
    0 references
    Jeff W. Sanders
    0 references
    publication date
    26 July 2010
    0 references
    zbMATH DE Number
    5761621
    0 references
    OpenAlex ID
    W2164805287
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3575267&oldid=31364945"
    Powered by MediaWiki