3rd Workshop on Synthesis (SYNT'14)

Robert Könighofer (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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