TY - RPRT TI - Robustness analysis of finite precision implementations AU - Eric Goubault AU - Sylvie Putot PY - 2013 UR - https://arxiv.org/abs/1309.3910 ID - 1309.3910 ER -