5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)

Willemse, T. (Organiser)

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Period3 Apr 2000
Event typeWorkshop
Conference number5
LocationBerlin, Germany