Title

A Symbolic Approach to Predicate Abstraction

Date of Original Version

2003

Type

Conference Proceeding