Experience with predicate abstraction (1999)

by S Das, D L Dill, S Park
Venue:In 11th Int. Conf. on Computer-Aided Verification