FM 2005: Formal Methods (Q5716914)

From MaRDI portal
scientific article; zbMATH DE number 2245876
Language Label Description Also known as
English
FM 2005: Formal Methods
scientific article; zbMATH DE number 2245876

    Statements

    FM 2005: Formal Methods (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 January 2006
    0 references
    0 references
    invariants
    0 references
    object allocation
    0 references
    specification
    0 references
    verification
    0 references
    object-oriented programming
    0 references
    0 references