Citace podle APA (7th ed.)

Armando, A., Mantovani, J., & Platania, L. (2009). Bounded model checking of software using SMT solvers instead of SAT solvers. International journal on software tools for technology transfer, 11(1), 69-83. https://doi.org/10.1007/s10009-008-0091-0

Citace podle Chicago (17th ed.)

Armando, Alessandro, Jacopo Mantovani, a Lorenzo Platania. "Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers." International Journal on Software Tools for Technology Transfer 11, no. 1 (2009): 69-83. https://doi.org/10.1007/s10009-008-0091-0.

Citace podle MLA (9th ed.)

Armando, Alessandro, et al. "Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers." International Journal on Software Tools for Technology Transfer, vol. 11, no. 1, 2009, pp. 69-83, https://doi.org/10.1007/s10009-008-0091-0.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..