Morse Reseach group

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

June, 2003 – Norway (Trondheim)