Non abbiamo ancora una biografia di Mieke Massinek.
Pubblicato in Inglese
Theoretical and Practical Aspects of SPIN Model Checking
