Experience with Predicate Abstraction (1999)

by Satyaki Das , David L. Dill , Seungjoon Park
Venue:IN COMPUTER AIDED VERIFICATION
Citations:131 - 5 self