Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / Publications / BETTY Leaflet 2014

BETTY Leaflet 2014

PDF document icon IC1201-ActionLeaflet2014.pdf — PDF document, 734 kB (751781 bytes)

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; More news…