This article is free to access.
CITATION STYLE
Bodik, R., & Torlak, E. (2012). Synthesizing Programs with Constraint Solvers (pp. 3–3). https://doi.org/10.1007/978-3-642-31424-7_3
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley