Postersession, Edinburgh

Activiteit: Types gesprekken of presentaties › Poster presentatie › Wetenschappelijk

Beschrijving

Cocktail: A Tool for Deriving Correct Programs