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

23:00
Lundi
8
Fév
2016
Fait marquant
  • Livres et numéros spéciaux
É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