Non abbiamo ancora una biografia di Dennis Dams.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Concurrency, Compositionality, and Correctness
2010
Theoretical and Practical Aspects of SPIN Model Checking
2003
FM 2009 : Formal Methods
2009
Otium