Martha Schnieber

• Polynomial Formal Verification of Approximate Functions