MLA

Zamani, and Damien Zufferey. Numerical Software Verification. Springer International Publishing, 2019.

APA

Zamani, Z., & Zufferey, D. (2019). Numerical Software Verification. Springer International Publishing.

Chicago

Zamani, and Damien Zufferey. Numerical Software Verification. : Springer International Publishing, 2019.