Non-deterministic expressions and predicate transformers.

Opis bibliograficzny
Wydane w:	Information processing letters. 61, 5 (1997).
1. autor:	Morris, Joseph M.
Format:	Artykuł
Język:	English
Hasła przedmiotowe:	Non-deterministic expression. Weakest preconditions. Refinement calculus.