APA (7th ed.) Citation

Cok, D. R. (2010). Improved usability and performance of SMT solvers for debugging specifications. International journal on software tools for technology transfer, 12(6), 467-481. https://doi.org/10.1007/s10009-010-0138-x

Chicago Style (17th ed.) Citation

Cok, David R. "Improved Usability and Performance of SMT Solvers for Debugging Specifications." International Journal on Software Tools for Technology Transfer 12, no. 6 (2010): 467-481. https://doi.org/10.1007/s10009-010-0138-x.

MLA (9th ed.) Citation

Cok, David R. "Improved Usability and Performance of SMT Solvers for Debugging Specifications." International Journal on Software Tools for Technology Transfer, vol. 12, no. 6, 2010, pp. 467-481, https://doi.org/10.1007/s10009-010-0138-x.