Sign in
Join Literal
Authors
Author
Matthias Hocks
Books
C++ Toolbox for Verified Computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz