TITLE     : Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems
AUTHOR(S) : Gnesi S, Schieferdecker I, Rennoch A
TYPE      : Book
YEAR      : 2000
CODE      : 447250

*** DO NOT EDIT THIS FILE ***