Cita APA (7a ed.)

Cuervo Parrino, B., Galeotti, J., Garbervetsky, D., & Frias, M. TacoFlow: Optimizing SAT program verification using dataflow analysis.

Cita Chicago Style (17a ed.)

Cuervo Parrino, B., J.P Galeotti, D. Garbervetsky, y M.F Frias. TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis.

Cita MLA (8a ed.)

Cuervo Parrino, B., et al. TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis.