Generating numerical literals during refinement

Author(s):  
Simon Anthony ◽  
Alan M. Frisch

Sign in / Sign up

Export Citation Format

Share Document