@inproceedings{EkiEtAl-CAV-17,
  author    = {Burak Ekici and
               Alain Mebsout and
               Cesare Tinelli and
               Chantal Keller and
               Guy Katz and
               Andrew Reynolds and
               Clark W. Barrett},
  title     = {SMTCoq: {A} Plug-In for Integrating {SMT} Solvers into Coq},
  booktitle = {Proceedings of the 29th International Conference on Computer Aided Verification (CAV 2017), Heidelberg, Germany, 2017},
  pages     = {126--133},
  doi       = {10.1007/978-3-319-63390-9\_7},
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
}