Frédéric Lang

Formal Methods for Industrial Critical Systems