Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Postersession, Edinburgh
Michael Franssen (Speaker)
Innovation Sciences
Activity
:
Talk or presentation types
›
Poster presentation
›
Scientific
Description
Cocktail: A Tool for Deriving Correct Programs
Period
9 Apr 1999
Event title
Postersession, Edinburgh
Event type
Conference