09501 Abstracts Collection - Software Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rastislav Bodík' in GoogleThis author has not been identified. Look up 'Orna Kupferman' in GoogleThis author has not been identified. Look up 'Douglas R. Smith' in GoogleThis author has not been identified. Look up 'Eran Yahav' in Google

runs on WebDSL