Beyond Integers and Floating Point: Designing and Verifying with Alternate Number Representations

Author(s):
Russell Klein