Matthias Güdemann

1 published title

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings

(Contributor)

1 edition