APA (7th ed.) Citation

Hermenegildo, M. V., Puebla, G., Bueno, F., & López-García, P. (2005). Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Science of computer programming, 58(1), 115-140. https://doi.org/10.1016/j.scico.2005.02.006

Chicago Style (17th ed.) Citation

Hermenegildo, Manuel V., Germán Puebla, Francisco Bueno, and Pedro López-García. "Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and the Ciao System Preprocessor)." Science of Computer Programming 58, no. 1 (2005): 115-140. https://doi.org/10.1016/j.scico.2005.02.006.

MLA (9th ed.) Citation

Hermenegildo, Manuel V., et al. "Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and the Ciao System Preprocessor)." Science of Computer Programming, vol. 58, no. 1, 2005, pp. 115-140, https://doi.org/10.1016/j.scico.2005.02.006.