The 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)

Web: 
http://www.inrialpes.fr/vasy/fmics/workshop-6/
Date: 
July, 2001
Country: 
France (Paris)