%0 Conference Paper %1 conf/fmcad/Gulwani10 %A Gulwani, Sumit %B FMCAD %D 2010 %E Bloem, Roderick %E Sharygina, Natasha %I IEEE %K dblp %P 1 %T Dimensions in program synthesis. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#Gulwani10 %@ 978-0-9835678-0-6

@inproceedings{conf/fmcad/Gulwani10, added-at = {2021-08-09T00:00:00.000+0200}, author = {Gulwani, Sumit}, biburl = {https://www.bibsonomy.org/bibtex/2e8926c817d0a1ee206ed64738325df59/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2010}, editor = {Bloem, Roderick and Sharygina, Natasha}, ee = {https://ieeexplore.ieee.org/document/5770924/}, interhash = {7c916aa6eacafefb12217dc5e0392377}, intrahash = {e8926c817d0a1ee206ed64738325df59}, isbn = {978-0-9835678-0-6}, keywords = {dblp}, pages = 1, publisher = {IEEE}, timestamp = {2024-04-10T16:53:52.000+0200}, title = {Dimensions in program synthesis.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2010.html#Gulwani10}, year = 2010 }