Cita APA (7a ed.)

Vaucheret, C. A. (2003). Inferencias de tipos de programas lógicos mediante análisis Top-Down por interpretación abstracta.

Cita Chicago Style (17a ed.)

Vaucheret, Claudio A. Inferencias De Tipos De Programas Lógicos Mediante Análisis Top-Down Por Interpretación Abstracta. 2003.

Cita MLA (8a ed.)

Vaucheret, Claudio A. Inferencias De Tipos De Programas Lógicos Mediante Análisis Top-Down Por Interpretación Abstracta. 2003.