TITLE     : Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.
AUTHOR(S) : T Margaria, M Massink
TYPE      : Book
YEAR      : 2005
CODE      : 190083

*** DO NOT EDIT THIS FILE ***