Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
Article in Science of Computer Programming (July 2013)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Science of Computer Programming (July 2013)