Non-deterministic expressions and predicate transformers.

Dettagli Bibliografici
Pubblicato in:	Information processing letters. 61, 5 (1997).
Autore principale:	Morris, Joseph M.
Natura:	Articolo
Lingua:	English
Soggetti:	Non-deterministic expression. Weakest preconditions. Refinement calculus.