Software Synthesis, 06.12. - 11.12.2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav, editors, Software Synthesis, 06.12. - 11.12.2009. Volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Conference: Dagstuhl2009

Abstract is missing.

Software Synthesis is Hard - and SimpleSven Schewe. [doi]

09501 Abstracts Collection - Software SynthesisRastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav. [doi]

runs on WebDSL