Satisfiability modulo recursive programs (2011)

by P Suter, A S Köksal, V Kuncak
Venue:In SAS