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
Citace podle Chicago (17th ed.)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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..