External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq

Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett. SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 126-133, Springer, 2017. [doi]

Authors

Burak Ekici

This author has not been identified. Look up 'Burak Ekici' in Google

Alain Mebsout

This author has not been identified. Look up 'Alain Mebsout' in Google

Cesare Tinelli

This author has not been identified. Look up 'Cesare Tinelli' in Google

Chantal Keller

This author has not been identified. Look up 'Chantal Keller' in Google

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Andrew Reynolds

This author has not been identified. Look up 'Andrew Reynolds' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google
runs on