Automating induction with an SMT solver (2012)

by K R M Leino
Venue:VMCAI 2012, volume 7148 of LNCS