Call for Participation: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002
** * * CALL FOR PARTICIPATION * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) * * University of
2nd Call for Papers: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002
[ Apologies for multiple copies ] ** * * --- CALL FOR PAPERS --- * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) *
Call for Papers: 7th ERCIM FMICS (Malaga, Spain) July 12-13, 2002
[ Apologies for multiple copies ] ** * * --- CALL FOR PAPERS --- * * 7th International Workshop on Formal Methods for Industrial Critical Systems * (FMICS 02) *