Modular invariants for layered object structures (Q2507783)

From MaRDI portal
Revision as of 14:20, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an 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=23268824"
    Powered by MediaWiki