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
Coupled relational symbolic execution for differential privacy - MaRDI portal

Coupled relational symbolic execution for differential privacy (Q2233459)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coupled relational symbolic execution for differential privacy
scientific article

    Statements

    title
    Coupled relational symbolic execution for differential privacy (English)
    0 references
    author
    Gian Pietro Farina
    0 references
    Stephen Chong
    0 references
    Marco Gaboardi
    0 references
    publication date
    18 October 2021
    0 references

    Identifiers

    zbMATH DE Number
    7410460
    0 references
    OpenAlex ID
    W3150939926
    0 references
    arXiv ID
    2007.12987
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2233459&oldid=36722591"
    Powered by MediaWiki