Cita APA

Bueno Carrillo, F., Hermenegildo, M. V., López García, P., & Puebla Sánchez, A. G. (2005). Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).

Citación estilo Chicago

Bueno Carrillo, Francisco|||0000-0002-5460-5537, Manuel V.|||0000-0002-7583-323X Hermenegildo, Pedro López García, y Alvaro Germán Puebla Sánchez. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and the Ciao System Preprocessor). 2005.

Cita MLA

Bueno Carrillo, Francisco|||0000-0002-5460-5537, Manuel V.|||0000-0002-7583-323X Hermenegildo, Pedro López García, y Alvaro Germán Puebla Sánchez. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and the Ciao System Preprocessor). 2005.