Third World Congress on Formal Methods

McIver, A. (Participant)

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Description

Program co-Chair
Period7 Oct 2019 - 11 Oct 2019
Event typeConference
Conference number23
LocationPorto, Portugal
Degree of RecognitionInternational