%0 Conference Paper %1 journals/corr/EkiciKKMRT16 %A Ekici, Burak %A Katz, Guy %A Keller, Chantal %A Mebsout, Alain %A Reynolds, Andrew J. %A Tinelli, Cesare %B HaTT@IJCAR %D 2016 %E Blanchette, Jasmin Christian %E Kaliszyk, Cezary %K %P 21-29 %T Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs210.html#EkiciKKMRT16 %V 210

@inproceedings{journals/corr/EkiciKKMRT16, added-at = {2023-12-13T10:23:35.000+0100}, author = {Ekici, Burak and Katz, Guy and Keller, Chantal and Mebsout, Alain and Reynolds, Andrew J. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2872b24e900a751fa1810fab10142df33/admin}, booktitle = {HaTT@IJCAR}, crossref = {journals/corr/BlanchetteK16}, editor = {Blanchette, Jasmin Christian and Kaliszyk, Cezary}, ee = {http://arxiv.org/abs/1606.05947}, interhash = {d700de6c23a14b0e97049b3db15f67e6}, intrahash = {872b24e900a751fa1810fab10142df33}, keywords = {}, pages = {21-29}, series = {EPTCS}, timestamp = {2023-12-13T10:23:35.000+0100}, title = {Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs210.html#EkiciKKMRT16}, volume = 210, year = 2016 }