Recursive Program Synthesis. (2013)

by Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
Venue:In Computer Aided Verification - 25th International Conference, CAV 2013,