Third World Congress on Formal Methods

McIver, A. (Participant)

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

Description

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