Non-deterministic expressions and predicate transformers (Q287006)

From MaRDI portal
Revision as of 23:56, 4 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Non-deterministic expressions and predicate transformers
scientific article

    Statements

    Non-deterministic expressions and predicate transformers (English)
    0 references
    0 references
    26 May 2016
    0 references
    nondeterministic expressions
    0 references
    weakest preconditions
    0 references
    refinement calculus
    0 references

    Identifiers