Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
- Jorge, J.S.
- Gulías, V.M.
- Castro, L.M.
Proceedings:
VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007
ISBN: 9781627481533
Year of publication: 2007
Pages: 27-34
Type: Conference paper