Login / Signup

A Predicate Transformer for Progress.

Edgar Knapp
Published in: Inf. Process. Lett. (1990)
Keyphrases