TITLE     : Second ERCIM international workshop on formal methods for industrial critical systems
AUTHOR(S) : Gnesi S, Latella D
TYPE      : Other
YEAR      : 1998
CODE      : 411058

*** DO NOT EDIT THIS FILE ***