Cita APA

Baum, G. A., & Medel, R. (2002). Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional. Web

Citación estilo Chicago

Baum, Gabriel Alfredo, and Ricardo Medel. Aportes Para Al Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional. 2002.

Cita MLA

Baum, Gabriel Alfredo, and Ricardo Medel. Aportes Para Al Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional. 2002.

Precaución: Estas citas no son 100% exactas.