Automating Induction with an SMT Solver (2011)

by K. Rustan M. Leino
Citations:19 - 6 self