, Fourth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'99), Pisa, Italie
- Chaudron, M. (Organisator)
Activiteit: Types deelname aan of organisatie van een evenement › Workshop, seminar, cursus of expositie › Wetenschappelijk