Formal Methods for Industrial Critical Systems, preface to the special section

Alpuente Frasnedo María, Joubert Christophe, Kowalewski Stefan, M. Roveri

2013

Science of Computer Programming