Non-deterministic expressions and predicate transformers.

Bibliografiska uppgifter
I publikationen:	Information processing letters. 61, 5 (1997).
Huvudupphovsman:	Morris, Joseph M.
Materialtyp:	Artikel
Språk:	engelska
Ämnen:	Non-deterministic expression. Weakest preconditions. Refinement calculus.