%0 Conference Paper %1 conf/cav/EkiciMTKKRB17 %A Ekici, Burak %A Mebsout, Alain %A Tinelli, Cesare %A Keller, Chantal %A Katz, Guy %A Reynolds, Andrew %A Barrett, Clark W. %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 126-133 %T SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#EkiciMTKKRB17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/EkiciMTKKRB17, added-at = {2021-07-27T00:00:00.000+0200}, author = {Ekici, Burak and Mebsout, Alain and Tinelli, Cesare and Keller, Chantal and Katz, Guy and Reynolds, Andrew and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/28c37f7f8c3d542cec81d572f98338250/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_7}, interhash = {3eb0d7cc45510b364cfa8adff9df9f69}, intrahash = {8c37f7f8c3d542cec81d572f98338250}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {126-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:26:48.000+0200}, title = {SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#EkiciMTKKRB17}, volume = 10427, year = 2017 }