Behavioural Types for Reliable Large-Scale Software Systems

Projektdetaljer

Beskrivelse

COST Action IC121.
AkronymBETTY
StatusAfsluttet
Effektiv start/slut dato01/10/201201/11/2015