Smtcoq: A plug-in for integrating smt solvers into coq
- Burak Ekici
- , Alain Mebsout
- , Cesare Tinelli*
- , Chantal Keller
- , Guy Katz
- , Andrew Reynolds
- , Clark Barrett
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
65
Scopus
citations