J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro. Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. In Maynard Kong, José Antonio Pow-Sang, Manuel Tupia Anticona, Luis Alberto Flores García, editors, VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC 07, 31 de Enero al 2 de Febrero del 2007, Lima, Perú. pages 27-34, Facultad de Ciencias e Ingeniería and Departamento de Ingeniería, Pontificia Universidad Católica del Perú, 2007.
@inproceedings{JorgeGC07:0,
title = {Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio},
author = {J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro},
year = {2007},
researchr = {https://researchr.org/publication/JorgeGC07%3A0},
cites = {0},
citedby = {0},
pages = {27-34},
booktitle = {VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC 07, 31 de Enero al 2 de Febrero del 2007, Lima, Perú},
editor = {Maynard Kong and José Antonio Pow-Sang and Manuel Tupia Anticona and Luis Alberto Flores García},
publisher = {Facultad de Ciencias e Ingeniería and Departamento de Ingeniería, Pontificia Universidad Católica del Perú},
isbn = {978-9972-2885-1-7},
}