Skip to content. | Skip to navigation

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

Navigation

You are here: Home / Publications / IC1201-FinalReport.pdf

IC1201-FinalReport.pdf

PDF document icon IC1201-FinalReport.pdf — PDF document, 113 kB (115952 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…