Non-deterministic Expressions and Predicate Transformers (1997)

Cached

Download Links

by Joseph Morris
Venue:Information Processing Letters
Citations:10 - 1 self