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
Abstract data types and software validation - MaRDI portal

Abstract data types and software validation (Q4168047)

From MaRDI portal





scientific article; zbMATH DE number 3602654
Language Label Description Also known as
English
Abstract data types and software validation
scientific article; zbMATH DE number 3602654

    Statements

    title
    Abstract data types and software validation (English)
    0 references
    author
    Ellis Horowitz
    0 references
    J. V. Guttag
    0 references
    David R. Musser
    0 references
    publication date
    1978
    0 references

    Identifiers

    DOI
    10.1145/359657.359666
    0 references
    zbMATH DE Number
    3602654
    0 references
    OpenAlex ID
    W2015874281
    0 references
    Wikidata QID
    Q111901043
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4168047&oldid=40859083"
    Powered by MediaWiki