Welcome

17th International Workshop on
Formal Methods for Industrial Critical Systems

Paris (France),
August 27-28, 2012

Co-located with FM 2012

Workshop Proceedings will be published in Springer's LNCS series.

	Home
Welcome Scope Invited speakers programme Topics of Interest Call for Papers Programme Committee Past Editions	Welcome 17th International Workshop on Formal Methods for Industrial Critical Systems Paris (France), August 27-28, 2012 Co-located with FM 2012 Workshop Proceedings will be published in Springer's LNCS series.