APA (7th ed.) Citation

Cuervo Parrino, B., Galeotti, J., Garbervetsky, D., & Frias, M. (2015). TacoFlow: Optimizing SAT program verification using dataflow analysis. Software & Systems Modeling, 14(1), 45. https://doi.org/10.1007/s10270-014-0401-9

Chicago Style (17th ed.) Citation

Cuervo Parrino, Bruno, Juan Galeotti, Diego Garbervetsky, and Marcelo Frias. "TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis." Software & Systems Modeling 14, no. 1 (2015): 45. https://doi.org/10.1007/s10270-014-0401-9.

MLA (9th ed.) Citation

Cuervo Parrino, Bruno, et al. "TacoFlow: Optimizing SAT Program Verification Using Dataflow Analysis." Software & Systems Modeling, vol. 14, no. 1, 2015, p. 45, https://doi.org/10.1007/s10270-014-0401-9.