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