%0 Conference Paper %1 conf/pldi/KuncakMPS10 %A Kuncak, Viktor %A Mayer, Mikaël %A Piskac, Ruzica %A Suter, Philippe %B PLDI %D 2010 %E Zorn, Benjamin G. %E Aiken, Alexander %I ACM %K %P 316-329 %T Complete functional synthesis. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#KuncakMPS10 %@ 978-1-4503-0019-3

@inproceedings{conf/pldi/KuncakMPS10, added-at = {2023-12-13T01:36:39.000+0100}, author = {Kuncak, Viktor and Mayer, Mikaël and Piskac, Ruzica and Suter, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/237c0e2e39dca42c4f2563e154ed5a692/admin}, booktitle = {PLDI}, crossref = {conf/pldi/2010}, editor = {Zorn, Benjamin G. and Aiken, Alexander}, ee = {https://doi.org/10.1145/1806596.1806632}, interhash = {73f27f3c2a1c5d0833ac249c0ec71889}, intrahash = {37c0e2e39dca42c4f2563e154ed5a692}, isbn = {978-1-4503-0019-3}, keywords = {}, pages = {316-329}, publisher = {ACM}, timestamp = {2023-12-13T01:36:39.000+0100}, title = {Complete functional synthesis.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2010.html#KuncakMPS10}, year = 2010 }