An abstract programming language and correctness proofs (Q4024292)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An abstract programming language and correctness proofs
scientific article

    Statements

    An abstract programming language and correctness proofs (English)
    0 references
    0 references
    11 February 1993
    0 references

    Identifiers