Anna Philippou

• FM 2016 : Formal Methods
• Formal Techniques for Distributed Objects, Components, and Systems
• Tools and Algorithms for the Construction and Analysis of Systems