Dagstuhl Seminar Proceedings 09501

Software Synthesis

R. Bodik, O. Kupferman, D. R. Smith, E. Yahav (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 09501, 06.12. - 11.12.2009
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Bodik, Ratislav
  • Kupferman, Orna
  • Schewe, Sven
  • Smith, Dougla R.
  • Yahav, Eran

  •   
    09501 Abstracts Collection -- Software Synthesis
    Authors: Bodik, Ratislav ; Kupferman, Orna ; Smith, Dougla R. ; Yahav, Eran

    Abstract | Document (158 KB) | BibTeX

    Software Synthesis is Hard -- and Simple
    Authors: Schewe, Sven

    Abstract | Document (119 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI