Non-deterministic expressions and predicate transformers.

Non-deterministic expressions and predicate transformers.

Detalhes bibliográficos
Publicado no:Information processing letters. 61, 5 (1997).
Autor principal: Morris, Joseph M.
Formato: Artigo
Idioma:English
Assuntos:
Non-deterministic expression.
Weakest preconditions.
Refinement calculus.