The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)

Date: 
June, 2002
Country: 
Spain(Málaga)