Non-deterministic expressions and predicate transformers.

Dades bibliogràfiques
Publicat a:	Information processing letters. 61, 5 (1997).
Autor principal:	Morris, Joseph M.
Format:	Article
Idioma:	English
Matèries:	Non-deterministic expression. Weakest preconditions. Refinement calculus.