Frédéric Lang

1 published title

Formal methods for industrial critical systems : 19th international conference FMICS 2014 Florence, Italy, September 11-12, 2014 : proceedings

(Contributor)

1 edition