Baum, G. A., & Medel, R. (2002). Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional.
Cita Chicago Style (17a ed.)Baum, Gabriel Alfredo, y Ricardo Medel. Aportes Para Al Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional. 2002.
Cita MLA (8a ed.)Baum, Gabriel Alfredo, y Ricardo Medel. Aportes Para Al Verificación Eficiente De Sistemas Utilizando El Cálculo Relacional. 2002.
Precaución: Estas citas no son 100% exactas.