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
Ano de publicación: 2007
Páxinas: 27-34
Tipo: Achega congreso