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
Soundness in verification of algebraic specifications with OBJ - MaRDI portal

Soundness in verification of algebraic specifications with OBJ (Q2469155)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Soundness in verification of algebraic specifications with OBJ
scientific article

    Statements

    title
    Soundness in verification of algebraic specifications with OBJ (English)
    0 references
    author
    K. O. Wilander
    0 references
    publication date
    4 February 2008
    0 references
    zbMATH Keywords
    soundness
    0 references
    OBJ
    0 references
    algebraic specification
    0 references
    verification
    0 references
    behavioural specification
    0 references
    cites work
    Q3896478
    0 references
    Q2715825
    0 references
    Q3906381
    0 references
    Proving and rewriting
    0 references

    Identifiers

    zbMATH DE Number
    5231971
    0 references
    OpenAlex ID
    W2109930174
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2469155&oldid=39104074"
    Powered by MediaWiki