4th International Verification Methods Workshop

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

    Period8 Jun 200910 Jun 2009
    Event typeWorkshop
    LocationHelsinki, Finland