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

23:00
Monday
8
Feb
2016
Highlight
Teams: 
Highlight description: 

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