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