TY  - RPRT
TI  - A Practical Approach to Interval Refinement for math.h/cmath Functions
AU  - Roberto Bagnara
AU  - Michele Chiari
AU  - Roberta Gori
AU  - Abramo Bagnara
PY  - 2020
DO  - 10.1145/3410875
UR  - https://arxiv.org/abs/1610.07390
ID  - 1610.07390
ER  -