pdf-format: |
|
@InProceedings{bodik_et_al:DSP:2010:2669, author = {Ratislav Bodik and Orna Kupferman and Dougla R. Smith and Eran Yahav}, title = {09501 Abstracts Collection -- Software Synthesis}, booktitle = {Software Synthesis}, year = {2010}, editor = {Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav}, number = {09501}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2669}, annote = {Keywords: Software Synthesis, Verification, Theorem Proving, Program Analysis, Programming by Demonstration} }
Keywords: | Software Synthesis, Verification, Theorem Proving, Program Analysis, Programming by Demonstration | |
Seminar: | 09501 - Software Synthesis | |
Issue date: | 2010 | |
Date of publication: | 08.07.2010 |