Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
- Jason R. Koenig*
- , Oded Padon
- , Sharon Shoham
- , Alex Aiken
*Corresponding author for this work
- Stanford University
- Dell
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
16
Scopus
citations