09501 Abstracts Collection - Software Synthesis

Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav. 09501 Abstracts Collection - Software Synthesis. In 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]

Abstract

Abstract is missing.