Skip to content. | Skip to navigation

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

Navigation

You are here: Home / Publications / BETTY-ActivityReport-2012-13.pdf

BETTY-ActivityReport-2012-13.pdf

PDF document icon BETTY-ActivityReport-2012-13.pdf — PDF document, 144 kB (148119 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…