Automating Induction with an SMT Solver (2011)

by K. Rustan , M. Leino
Citations:7 - 0 self