@entry{gar-mic-rue-20-aa, author = {R Garcia and C Michel and M Rueher}, title = {Rigorous Enclosure of Round-Off Errors in Floating-Point Computations}, journal = {Software Verification,}, volume = {}, number = {}, pages = {}, year = 2020, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/978-3-030-63618-0_12}}}, quotes = {... For instance, Fluctuat [10, 11] is an abstract interpreter that combines affine arithmetic and zonotopes to analyze the robustness of programs over the floats, FPTaylor [23, 24] uses ...} }