Login / Signup

Exits in the Refinement Calculus.

Steve KingCarroll Morgan
Published in: Formal Aspects Comput. (1995)
Keyphrases
  • computer algebra
  • formal language
  • case study
  • objective function
  • multiresolution