Automatic Verification of Integer Array Programs (Q3636859)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic Verification of Integer Array Programs
scientific article

    Statements

    Automatic Verification of Integer Array Programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2009
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references