Cita APA (7a ed.)

Cuervo Parrino, B., Galeotti, J., Garbervetsky, D., & Frias, M. A dataflow analysis to improve SAT-based bounded program verification.

Cita Chicago Style (17a ed.)

Cuervo Parrino, B., J.P Galeotti, D. Garbervetsky, y M.F Frias. A Dataflow Analysis to Improve SAT-based Bounded Program Verification.

Cita MLA (8a ed.)

Cuervo Parrino, B., et al. A Dataflow Analysis to Improve SAT-based Bounded Program Verification.