TY  - RPRT
TI  - Deriving approximation tolerance constraints from verification runs
AU  - Tobias Isenberg
AU  - Marie-Christine Jakobs
AU  - Felix Pauck
AU  - Heike Wehrheim
PY  - 2016
UR  - https://arxiv.org/abs/1604.08784
ID  - 1604.08784
ER  -