The 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003)

Web: 
http://www.inrialpes.fr/vasy/fmics/workshop-8/
Date: 
June, 2003
Country: 
Norway (Trondheim)