C++ toolbox for verified computing. Springer.
Chicago-Zitierstil (17. Ausg.)C++ Toolbox for Verified Computing. Berlin [u.a.]: Springer.
MLA-Zitierstil (9. Ausg.)C++ Toolbox for Verified Computing. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.