Bit-Precise Reasoning with Parametric Bit-Vectors
- Zvika Berger
- , Yoni Zohar
- , Aina Niemetz
- , Mathias Preiner
- , Andrew Reynolds
- , Clark Barrett
- , Cesare Tinelli
- Stanford University
- University of Iowa
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review