Skip to content. | Skip to navigation

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

Navigation

You are here: Home / STSMs / STSM-Reports.zip

STSM-Reports.zip

Zip archive icon STSM-Reports.zip — Zip archive, 8493 kB (8697298 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…