Armando Solar-Lezama. Program sketching. STTT, 15(5-6):475-495, 2013. [doi]
@article{Solar-Lezama13,
title = {Program sketching},
author = {Armando Solar-Lezama},
year = {2013},
doi = {10.1007/s10009-012-0249-7},
url = {http://dx.doi.org/10.1007/s10009-012-0249-7},
researchr = {https://researchr.org/publication/Solar-Lezama13},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {15},
number = {5-6},
pages = {475-495},
}