3rd Workshop on Synthesis (SYNT'14)

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: How to Handle Assumptions in Synthesis
Period23 Jul 2014
Held at3rd Workshop on Synthesis (SYNT'14)
Event typeWorkshop