Modular invariants for layered object structures (Q2507783)

From MaRDI portal
Revision as of 04:11, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Modular invariants for layered object structures
scientific article

    Statements

    title
    Modular invariants for layered object structures (English)
    0 references
    author
    Peter Müller
    0 references
    Arnd Poetzsch-Heffter
    0 references
    Gary T. Leavens
    0 references
    publication date
    5 October 2006
    0 references
    zbMATH DE Number
    5060664
    0 references
    zbMATH Keywords
    invariant
    0 references
    object-oriented programming
    0 references
    modular verification
    0 references
    ownership
    0 references
    visibility
    0 references
    JML
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2507783&oldid=15222502"
    Powered by MediaWiki