Frédéric Lang

• Formal Methods for Industrial Critical Systems
• Formal Methods for Industrial Critical Systems