Dennis Dams

• Concurrency, Compositionality, and Correctness
• FM 2009 : Formal Methods
• Theoretical and Practical Aspects of SPIN Model Checking