Behavioural Types for Reliable Large-Scale Software Systems

Description

COST Action IC121.
AcronymBETTY
StatusFinished
Effective start/end date01/10/201201/11/2015