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

Date: 
July, 2007
Country: 
Gertmany (Berlin)