First Efforts to Increase the Reliability of Kenzo Using ACL2
- M. Andrés
- L. Lambán
- Cortadellas Izquierdo, Óscar (coord.)
- Gómez Torrecillas, José (coord.)
- Lobillo Borrero, F.J. (coord.)
Editorial: Universidad de Granada
Año de publicación: 2008
Páginas: 111-114
Congreso: Encuentro de Algebra Computacional y Aplicaciones (11. 2008. Granada)
Tipo: Aportación congreso