CITATION STYLE
Goubault, E., Martel, M., & Putot, S. (2002). Asserting the precision of floating-point computations: A simple abstract interpreter. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2305, pp. 209–212). Springer Verlag. https://doi.org/10.1007/3-540-45927-8_15
Mendeley helps you to discover research relevant for your work.