TY  - RPRT
TI  - Abstract Compilation for Verification of Numerical Accuracy Properties
AU  - Maxime Jacquemin
AU  - Fonenantsoa Maurica
AU  - Nikolai Kosmatov
AU  - Julien Signoles
AU  - Franck Védrine
PY  - 2019
UR  - https://arxiv.org/abs/1911.10930
ID  - 1911.10930
ER  -