Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Preprint in arXiv (June 2016)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Preprint in arXiv (June 2016)
Article in Electronic Proceedings in Theoretical Computer Science (June 2016)
Article in The Journal of Supercomputing (August 2014)