Bernhard Schätz

1 published title

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30 2011: proceedings

(Contributor)

1 edition