TY  - RPRT
TI  - Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
AU  - Burak Ekici
AU  - Guy Katz
AU  - Chantal Keller
AU  - Alain Mebsout
AU  - Andrew J. Reynolds
AU  - Cesare Tinelli
PY  - 2016
DO  - 10.4204/eptcs.210.5
UR  - https://arxiv.org/abs/1606.05947
ID  - 1606.05947
ER  -