Welcome
17th International Workshop on
Formal Methods for Industrial Critical Systems
Paris (France),
August 27-28, 2012
Co-located with
FM 2012
Workshop Proceedings have been published in Springer's LNCS series
as LNCS 7437.