TITLE     : Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems.
AUTHOR(S) : Margaria T, Massink M
TYPE      : Book
YEAR      : 2005
CODE      : 160933

*** DO NOT EDIT THIS FILE ***