Michael Dierkes

Formal Methods for Industrial Critical Systems