This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these cookies.
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