Michael Dierkes

• Formal Methods for Industrial Critical Systems