BETTY Summer School 2014
The BETTY Summer School 2014 will take place in Lovran, Croatia, in the first week in July. More information will appear when the organising committee has been formed. The local organiser is Tihana Galinac Grbac.
Skip to content. | Skip to navigation
Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Navigation
- News
- Invited talk at the TYPES conference Jun 08, 2016
- BETTY Summer School 2016 Jan 29, 2016
- WG2 (Security) State-of-the-Art Report Published Oct 07, 2015
- Notable articles of 2014 Sep 07, 2015
- BETTY PhD Awards Sep 01, 2015
COST is supported by the EU Framework Programme Horizon 2020