Published in: Dagstuhl Seminar Proceedings, Volume 9501, Software Synthesis (2010)
Ratislav Bodik, Orna Kupferman, Dougla R. Smith, and Eran Yahav. 09501 Abstracts Collection – Software Synthesis. In Software Synthesis. Dagstuhl Seminar Proceedings, Volume 9501, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@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/entities/document/10.4230/DagSemProc.09501.1},
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}
}
Feedback for Dagstuhl Publishing