Frédéric Lang - Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Mardi
9
Fév
2016
Fait marquant
Équipes : 
Description du fait marquant : 

Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
Frédéric Lang and Francesco Flammini
Science of Computer Programming 118(1-2), 2016