Experience with predicate abstraction (1999)

by Satyaki Das, David L Dill, Seungjoon Park
Venue:In 11th International Conference on Computer-Aided Verification (CAV’99