DMCA

Satisfiability modulo recursive programs (2011)

by Ali Sinan Köksal , Viktor Kuncak
Venue:In Static Analysis Symposium (SAS
Citations:31 - 15 self