Integrated Formal Methods (Q5901620)

From MaRDI portal
scientific article; zbMATH DE number 5551753
Language Label Description Also known as
English
Integrated Formal Methods
scientific article; zbMATH DE number 5551753

    Statements

    Integrated Formal Methods (English)
    0 references
    7 May 2009
    0 references
    assertion
    0 references
    correctness
    0 references
    formal specification
    0 references
    logic program
    0 references
    program synthesis
    0 references
    programming with assertions
    0 references
    meaning-preserving transformation
    0 references
    testing
    0 references

    Identifiers