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.)
Publisher: Universidad de Granada
Year of publication: 2008
Pages: 111-114
Congress: Encuentro de Algebra Computacional y Aplicaciones (11. 2008. Granada)
Type: Conference paper