11th International Workshop on Formal Methods for Industrial Critical Systems

Last updated:
Thursday, 05-Jan-2006 11:32:55 CET
Page maintained by HWP

FMICS 2006 is co-located with Concur 2006
26th-27th of August 2006, Bonn, Germany