INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN
- Keijo Heljanko (Puheenjohtaja)
Aktiviteetti: Työpajan, paneelin, session, tutoriaalin tai tapahtuman järjestäminen
Aktiviteetti: Työpajan, paneelin, session, tutoriaalin tai tapahtuman järjestäminen