External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

Authors

J. Santiago Jorge

This author has not been identified. Look up 'J. Santiago Jorge' in Google

Víctor M. Gulías

This author has not been identified. Look up 'Víctor M. Gulías' in Google

Laura M. Castro

This author has not been identified. Look up 'Laura M. Castro' in Google
runs on