Verification methods: Rigorous results using floating-point arithmetic.

Siegfried M. Rump

Published in: Acta Numer. (2010)

Keyphrases

software engineering
source code
computing environments