Gwen Salaün

• Formal Aspects of Component Software
• Formal Methods for Industrial Critical Systems
• Software Engineering and Formal Methods
• Software Technologies : Applications and Foundations