Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Rosner, Nicolás, Jaco Geldenhuys, Nazareno Matías Aguirre, y Willem Visser. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. 2016.

Cita MLA (8a ed.)

Rosner, Nicolás, et al. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. 2016.