Numerical Software Verification

MLA

Bogomolov, Matthieu Martel, and Pavithra Prabhakar. Numerical Software Verification. Springer International Publishing, 2017.

APA

Bogomolov, B., Martel, M., & Prabhakar, P. (2017). Numerical Software Verification. Springer International Publishing.

Chicago

Bogomolov, Matthieu Martel, and Pavithra Prabhakar. Numerical Software Verification. : Springer International Publishing, 2017.