Login / Signup

Experiments with an Improved Constrained Expression Toolset.

George S. AvruninUgo A. BuyJames C. CorbettLaura K. DillonJack C. Wileden
Published in: Symposium on Testing, Analysis, and Verification (1991)
Keyphrases
  • wide range
  • development process
  • algebraic expressions