Software Synthesis

Keyphrases

Publications

2009

Sven Schewe
Software Synthesis is Hard - and Simple. Software Synthesis (2009)
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
09501 Abstracts Collection - Software Synthesis. Software Synthesis (2009)

volume 9501, 2009

Software Synthesis, 06.12. - 11.12.2009 Software Synthesis 9501 (2009)