First WG/MC Meetings
The first BETTY WG and MC meetings took place on 24th March 2013, at the ETAPS conference.
Skip to content. | Skip to navigation
Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Navigation
Skip to content. | Skip to navigation
Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Navigation
The first BETTY WG and MC meetings took place on 24th March 2013, at the ETAPS conference.
COST is supported by the EU Framework Programme Horizon 2020