4th International Verification Methods Workshop

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

    Period8 Jun 2009 → 10 Jun 2009
    Event typeWorkshop
    LocationHelsinki, Finland