Numerical Software Verification

MLA

Abate, and Sylvie Boldo. Numerical Software Verification. Springer International Publishing, 2017.

APA

Abate, A., & Boldo, S. (2017). Numerical Software Verification. Springer International Publishing.

Chicago

Abate, and Sylvie Boldo. Numerical Software Verification. : Springer International Publishing, 2017.