COST_Vademecum_Part_1_NEW.pdf — Behavioural Types

Skip to content. | Skip to navigation

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

Navigation

You are here: Home / STSMs / COST_Vademecum_Part_1_NEW.pdf

PDF document icon COST_Vademecum_Part_1_NEW.pdf — PDF document, 1241 kB (1271317 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…