%0 Journal Article %1 keefe2012dagstuhl %A Keefe, Daniel %A Krüger, Antonio %A Steinicke, Frank %A de la Rivière, Jean-Baptiste %A Bodik, Ratislav %A Gulwani, Sumit %A Yahav, Eran %A Antoniou, Grigoris %A Corcho, Oscar %A Aberer, Karl %A others, %D 2012 %K imported %T Dagstuhl Reports, Vol. 2, Issue 4 ISSN 2192-5283

@article{keefe2012dagstuhl, added-at = {2021-02-11T15:00:04.000+0100}, author = {Keefe, Daniel and Kr{\"u}ger, Antonio and Steinicke, Frank and de la Rivi{\`e}re, Jean-Baptiste and Bodik, Ratislav and Gulwani, Sumit and Yahav, Eran and Antoniou, Grigoris and Corcho, Oscar and Aberer, Karl and others}, biburl = {https://www.bibsonomy.org/bibtex/2300b16e865a48d903306d72fd04d8ec0/ocorcho}, interhash = {5aa764fd0d5cd8c86e0854a4e7dac154}, intrahash = {300b16e865a48d903306d72fd04d8ec0}, keywords = {imported}, timestamp = {2021-02-11T15:03:24.000+0100}, title = {Dagstuhl Reports, Vol. 2, Issue 4 ISSN 2192-5283}, year = 2012 }