Zamani, M., & Zufferey, D. (Eds.). (2019). Numerical Software Verification. Berlin: Springer. doi:10.1007/978-3-030-28423-7.