Profiles

Contents from Michael Dierkes on this site

Publications

Formal Methods for Industrial Critical Systems, 18th International Workshop (FMICS 2013). Charles Pecheur, Michael Dierkes (Eds.). Springer.