Numerical Software Verificationde Majid Zamani, Damien ZuffereyEdiciones (1)Numerical Software Verification (2019)Springer · ISBN 9783030284220