4th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)

Chaudron, M. (Organiser)

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

    Period11 Jul 1999
    Event typeWorkshop
    Conference number4
    LocationPisa, Italy