Robustness Analysis of Floating-Point Programs by Self-Composition.

Published in: J. Appl. Math. (2014)

Keyphrases