Non-deterministic expressions and predicate transformers.

Detalles Bibliográficos
Publicado en:	Information processing letters. 61, 5 (1997).
Autor Principal:	Morris, Joseph M.
Formato:	Artigo
Idioma:	English
Subjects:	Non-deterministic expression. Weakest preconditions. Refinement calculus.