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-Zitierstil (17. Ausg.)Armando, Alessandro, Jacopo Mantovani, und 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-Zitierstil (9. Ausg.)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.