Cita APA

Rosner, N. L., Geldenhuys, J., Aguirre, N. M., Visser, W., & Frias, M. F. (2015). BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. Web

Citación estilo Chicago

Rosner, Nicolas Leandro, Jaco Geldenhuys, Nazareno Matias Aguirre, Willem Visser, and Marcelo Fabian Frias. BLISS: Improved Symbolic Execution By Bounded Lazy Initialization With SAT Support. 2015.

Cita MLA

Rosner, Nicolas Leandro, et al. BLISS: Improved Symbolic Execution By Bounded Lazy Initialization With SAT Support. 2015.