Mariano Moscato, Laura Titolo, Aaron Dutle and César Muñoz, Automatic Estimatin of Verified Floating-Point Round-Off Errors (via Static Analysis), Proceedings of the 36th International Conference on Computer Safety, Reliability and Security ( (SAFECOMP 2017), Lecture Notes in Computer Science Vol 10488, pp 213 213-229 BibTeX Reference disc].
Mariano Moscato, Laura Titolo, Aaron Dutle, and César Muñoz, Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis, Proceedings of the 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), Lecture Notes in Computer Science, Vol. 10488, pp. 213-229, 2017 . BibTeX Reference.