Using bounded model checking to focus fixpoint iterations (2011)

by D Monniaux, L Gonnord
Venue:Static analysis (SAS), volume 6887 of LNCS