APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Armando, Alessandro, Jacopo Mantovani, and 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.

MLA (9th ed.) Citation

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.