%0 Conference Paper %1 conf/cav/GasconTCM17 %A Gascón, Adrià %A Tiwari, Ashish %A Carmer, Brent %A Mathur, Umang %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 86-103 %T Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#GasconTCM17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/GasconTCM17, added-at = {2020-05-22T00:00:00.000+0200}, author = {Gascón, Adrià and Tiwari, Ashish and Carmer, Brent and Mathur, Umang}, biburl = {https://www.bibsonomy.org/bibtex/2ec2d2ffb7cb416bf750d575357906c1c/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_5}, interhash = {91ba4b7d9245c9ebb1da80fef93e3a98}, intrahash = {ec2d2ffb7cb416bf750d575357906c1c}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {86-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-23T12:36:52.000+0200}, title = {Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#GasconTCM17}, volume = 10427, year = 2017 }