Frank de Boer

• FM 2015 : Formal Methods
• It's All About Coordination
• Concurrency verification
• Software Engineering and Formal Methods