Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio

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.

Abstract

Abstract is missing.