BETTY

COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (http://www.behavioural-types.eu/)

BETTY