Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
M.
Andrés
Publicaciones en las que colabora con M. Andrés (1)
2008
-
First Efforts to Increase the Reliability of Kenzo Using ACL2
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre