%0 Conference Paper %1 conf/oopsla/KneussKKS13 %A Kneuss, Etienne %A Kuraj, Ivan %A Kuncak, Viktor %A Suter, Philippe %B OOPSLA %D 2013 %E Hosking, Antony L. %E Eugster, Patrick Th. %E Lopes, Cristina V. %I ACM %K %P 407-426 %T Synthesis modulo recursive functions. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#KneussKKS13 %@ 978-1-4503-2374-1

@inproceedings{conf/oopsla/KneussKKS13, added-at = {2023-12-14T15:54:32.000+0100}, author = {Kneuss, Etienne and Kuraj, Ivan and Kuncak, Viktor and Suter, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/29597c0a7ed26296691e8b04d9617a9cb/admin}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2013}, editor = {Hosking, Antony L. and Eugster, Patrick Th. and Lopes, Cristina V.}, ee = {https://doi.org/10.1145/2509136.2509555}, interhash = {f108a11ae9146d9fcffc101f33db5608}, intrahash = {9597c0a7ed26296691e8b04d9617a9cb}, isbn = {978-1-4503-2374-1}, keywords = {}, pages = {407-426}, publisher = {ACM}, timestamp = {2023-12-14T15:54:32.000+0100}, title = {Synthesis modulo recursive functions.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#KneussKKS13}, year = 2013 }