Science of Computer ProgrammingVolume 80, Part A, 1 February 2014, Pages 107-108Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS’11)Author links open overlay panelGwen Salaün (Guest Editors), Bernhard SchätzShow moreShareCitehttps://doi.org/10.1016/j.scico.2013.01.008Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2013 Elsevier B.V. All rights reserved.