%0 Conference Paper %1 conf/cade/TiwariGD15 %A Tiwari, Ashish %A Gascón, Adrià %A Dutertre, Bruno %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K dblp %P 482-497 %T Program Synthesis Using Dual Interpretation. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#TiwariGD15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/TiwariGD15, added-at = {2019-11-06T00:00:00.000+0100}, author = {Tiwari, Ashish and Gascón, Adrià and Dutertre, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2ba5fa96e18056286a628d116ffaf6d29/dblp}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_33}, interhash = {127e5c49372a44cc9dfad3d28214f492}, intrahash = {ba5fa96e18056286a628d116ffaf6d29}, isbn = {978-3-319-21400-9}, keywords = {dblp}, pages = {482-497}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:42:56.000+0100}, title = {Program Synthesis Using Dual Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#TiwariGD15}, volume = 9195, year = 2015 }