Non abbiamo ancora una biografia di Paul Boca.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Formal methods
2014
Abstract State Machines, B and Z
2008
Otium