Non abbiamo ancora una biografia di Rolf Hammer.
Pubblicato in Inglese
C++ toolbox for verified computing I
1995
Otium