Modular Synthesis of Sketches Using Models. Singh 0002, R., Singh, R., Xu, Z., Krosnick, R., & Solar-Lezama, A. In Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI), pages 395-414, 2014.
Modular Synthesis of Sketches Using Models [link]Paper  bibtex   
@inproceedings{ dblp2264054,
  title = {Modular Synthesis of Sketches Using Models},
  author = {Rohit Singh 0002 and Rishabh Singh and Zhilei Xu and Rebecca Krosnick and Armando Solar-Lezama},
  author_short = {Singh 0002, R. and Singh, R. and Xu, Z. and Krosnick, R. and Solar-Lezama, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2264054},
  id = {dblp2264054},
  biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/SinghSXKS14},
  url = {http://dx.doi.org/10.1007/978-3-642-54013-4_22},
  conference = {VMCAI},
  pages = {395-414},
  text = {VMCAI 2014:395-414},
  booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}
}

Downloads: 0