Login / Signup
Exits in the Refinement Calculus.
Steve King
Carroll Morgan
Published in:
Formal Aspects Comput. (1995)
Keyphrases
</>
computer algebra
formal language
case study
objective function
multiresolution