Παραπομπή APA

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

Παραπομπή Chicago Style

Abate, Alessandro, και Sylvie Boldo. Numerical Software Verification. Springer International Publishing, 2020.

Παραπομπή MLA

Abate, Alessandro, και Sylvie Boldo. Numerical Software Verification. Springer International Publishing, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.