Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio

  1. Jorge, J.S.
  2. Gulías, V.M.
  3. Castro, L.M.
Actas:
VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007

ISBN: 9781627481533

Año de publicación: 2007

Páginas: 27-34

Tipo: Aportación congreso