09501 Abstracts Collection - Software Synthesis.

Rastislav Bodík; Orna Kupferman; Douglas R. Smith; Eran Yahav

09501 Abstracts Collection - Software Synthesis.

Rastislav Bodík
, Orna Kupferman
, Douglas R. Smith
, Eran Yahav

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Dagstuhl Seminar Proceedings
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-15
Number of pages	15
Volume	9501
State	Published - 2009

Publication series

Name	Dagstuhl Seminar Proceedings
Publisher	Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Volume	9501
ISSN (Electronic)	1862-4405

Access to Document

Cite this

@inproceedings{727394d42cc14140829a7725f079e956,

title = "09501 Abstracts Collection - Software Synthesis.",

author = "Rastislav Bod{\'i}k and Orna Kupferman and Smith, \{Douglas R.\} and Eran Yahav",

year = "2009",

language = "אנגלית",

volume = "9501",

series = "Dagstuhl Seminar Proceedings",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "1--15",

booktitle = "Dagstuhl Seminar Proceedings",

address = "גרמניה",

}

09501 Abstracts Collection - Software Synthesis. / Bodík, Rastislav; Kupferman, Orna; Smith, Douglas R. et al.
Dagstuhl Seminar Proceedings. Vol. 9501 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2009. p. 1-15 (Dagstuhl Seminar Proceedings; Vol. 9501).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - 09501 Abstracts Collection - Software Synthesis.

AU - Bodík, Rastislav

AU - Kupferman, Orna

AU - Smith, Douglas R.

AU - Yahav, Eran

PY - 2009

Y1 - 2009

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

VL - 9501

T3 - Dagstuhl Seminar Proceedings

SP - 1

EP - 15

BT - Dagstuhl Seminar Proceedings

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -