Abstract Counterexample-Based Refinement for Powerset Domains.
['Roman Manevich', 'John Field', 'Thomas A. Henzinger', 'G. Ramalingam', 'Mooly Sagiv']
Abstract Counterexample-Based Refinement for Powerset Domains.