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
Formal logical language to set requirements for secure code execution - MaRDI portal

Formal logical language to set requirements for secure code execution (Q2216855)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal logical language to set requirements for secure code execution
scientific article

    Statements

    title
    Formal logical language to set requirements for secure code execution (English)
    0 references
    author
    A. V. Kozachok
    0 references
    publication date
    17 December 2020
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    03B70
    0 references
    68M25
    0 references
    zbMATH DE Number
    7286988
    0 references
    Wikidata QID
    Q122442513
    0 references
    OpenAlex ID
    W2754304698
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2216855&oldid=36864029"
    Powered by MediaWiki