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

Web: 
http://fmics07.lcc.uma.es/
Date: 
July, 2007
Country: 
Germany