BETTY Summer School 2016
The call for participation in the BETTY Summer School 2016 has been sent out. The web site is summerschool2016.behavioural-types.eu
We are looking forward to a great week in Cyprus!
Skip to content. | Skip to navigation
Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Navigation
The call for participation in the BETTY Summer School 2016 has been sent out. The web site is summerschool2016.behavioural-types.eu
We are looking forward to a great week in Cyprus!