Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
M.
Andrés
M. Andrés-rekin lankidetzan egindako argitalpenak (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