Induction in CEGAR for detecting counterexamples
- Chao Wang
- , Aarti Gupta
- , Franjo Ivančić
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5
Link opens in a new tab
Scopus
citations