Non-deterministic expressions and predicate transformers.

Detaylı Bibliyografya
Yayımlandı:	Information processing letters. 61, 5 (1997).
Yazar:	Morris, Joseph M.
Materyal Türü:	Makale
Dil:	English
Konular:	Non-deterministic expression. Weakest preconditions. Refinement calculus.