DMCA

Solving quantified verification conditions using satisfiability modulo theories (2007)

by Yeting Ge , Clark Barrett , Cesare Tinelli
Venue:In CADE
Citations:51 - 7 self