Members of the BehAPI team will be organising this workshop at the ETAPS conference in 2019. This workshop will present ongoing research on behavioural types to assist the development of
Members of the BehAPI team will be organising this workshop at the ETAPS conference in 2019. This workshop will present ongoing research on behavioural types to assist the development of