pdf-format: |
|
@InProceedings{bodik_et_al:DagSemProc.09501.1, author = {Bodik, Ratislav and Kupferman, Orna and Smith, Dougla R. and Yahav, Eran}, title = {{09501 Abstracts Collection – Software Synthesis}}, booktitle = {Software Synthesis}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9501}, editor = {Ratislav Bodik and Orna Kupferman and Douglas R. Smith and Eran Yahav}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2010/2669}, URN = {urn:nbn:de:0030-drops-26696}, doi = {10.4230/DagSemProc.09501.1}, 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 |