Fingerprint
Dive into the research topics of 'Hybrid CEGAR: Combining variable hiding and predicate abstraction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Hybrid CEGAR: Combining variable hiding and predicate abstraction
Chao Wang, Hyondeuk Kim, Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9
Scopus
citations