3rd Workshop on Synthesis (SYNT'14)

Robert Könighofer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: How to Handle Assumptions in Synthesis
Zeitraum23 Jul 2014
Gehalten am3rd Workshop on Synthesis (SYNT'14)
VeranstaltungstypWorkshop