Postersession, Edinburgh

Michael Franssen (Speaker)

Activity: Talk or presentation typesPoster presentationScientific

Description

Cocktail: A Tool for Deriving Correct Programs
Period9 Apr 1999
Event titlePostersession, Edinburgh
Event typeConference