Combining Tools for Optimization and Analysis of Floating-Point Computations.

Published in: CoRR (2018)

Keyphrases