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
Citace podle Chicago (17th ed.)Hermenegildo, Manuel V., Germán Puebla, Francisco Bueno, a 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.
Citace podle MLA (9th ed.)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.