Non abbiamo ancora una biografia di Matthias Hocks.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
C++ toolbox for verified computing I
1995
Otium