Collaborated with:
A.Mebsout C.Tinelli C.Keller G.Katz A.Reynolds C.W.Barrett
Talks about:
smt (2) coq (2) solver (1) integr (1) plug (1)
Person: Burak Ekici
DBLP: Ekici:Burak
Contributed to:
Wrote 1 papers:
- CAV-2017-EkiciMTKKRB #coq #named #plugin #smt
- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (BE, AM, CT, CK, GK, AR, CWB), pp. 126–133.