Login / Signup

Data Refinement of Predicate Transformers.

Paul H. B. GardinerCarroll Morgan
Published in: Theor. Comput. Sci. (1991)
Keyphrases