TY  - RPRT
TI  - Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
AU  - Roberto Bagnara
AU  - Abramo Bagnara
AU  - Fabio Biselli
AU  - Michele Chiari
AU  - Roberta Gori
PY  - 2021
DO  - 10.1007/s10601-021-09322-9
UR  - https://arxiv.org/abs/1903.06119
ID  - 1903.06119
ER  -