Cita APA

Cuervo Parrino, B., Galeotti, J. P., Garbervetsky, D. D., & Frias, M. F. (2015). TacoFlow: Optimizing SAT program verification using dataflow analysis. Web

Citación estilo Chicago

Cuervo Parrino, Bruno, Juan Pablo Galeotti, Diego David Garbervetsky, and Marcelo Fabian Frias. TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis. 2015.

Cita MLA

Cuervo Parrino, Bruno, Juan Pablo Galeotti, Diego David Garbervetsky, and Marcelo Fabian Frias. TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis. 2015.

Precaución: Estas citas no son 100% exactas.