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
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs - MaRDI portal

Automatic Constrained Rewriting Induction towards Verifying Procedural Programs (Q2789055)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs
scientific article

    Statements

    title
    Automatic Constrained Rewriting Induction towards Verifying Procedural Programs (English)
    0 references
    author
    Cynthia Kop
    0 references
    Naoki Nishida
    0 references
    publication date
    26 February 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    68Q42
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6546228
    0 references
    OpenAlex ID
    W26731332
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2789055&oldid=31792117"
    Powered by MediaWiki