No label defined (Q3707340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1986
    0 references
    systematic software development
    0 references
    VDM
    0 references
    proof theory
    0 references
    implementation
    0 references
    formal proof rules
    0 references
    abstract specification
    0 references
    Abstract data types
    0 references
    main programming constructs
    0 references
    0 references

    Identifiers