CITATION STYLE
Barrett, C., De Moura, L., & Stump, A. (2005). SMT-COMP: Satisfiability modulo theories competition. In Lecture Notes in Computer Science (Vol. 3576, pp. 20–23). Springer Verlag. https://doi.org/10.1007/11513988_4
Mendeley helps you to discover research relevant for your work.