Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
- Jorge, J.S.
- Gulías, V.M.
- 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