Automating induction with an smt solver (2012)

by K R M Leino
Venue:In VMCAI