Interpolation for synthesis on unbounded domains (2013)

by V Kuncak, R Blanc
Venue:In Formal Methods in Computer-Aided Design (FMCAD