Non-deterministic Expressions and Predicate Transformers (1997)

View PDF

Download Links

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