Marcello Bonsangue

• Formal methods for components and objects
• It's All About Coordination
• Theory and Practice of Formal Methods