Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
M.
Andrés
Publications dans lesquelles il/elle collabore avec 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