Morse Reseach group

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

July, 2007 – Gertmany (Berlin)