Verifying bit-vector invertibility conditions in Coq – Extended abstract
- Burak Ekici
- , Arjun Viswanathan
- , Yoni Zohar
- , Clark Barrett
- , Cesare Tinelli
- University of Innsbruck
- University of Iowa
- Stanford University
Research output: Contribution to journal › Conference article › peer-review
1
Scopus
citations