Proving Cutoff Bounds for Safety Properties in First-Order Logic
- Raz Lotan*
- , Eden Frenkel
- , Sharon Shoham
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1
Scopus
citations