Publicaciones en las que colabora con M. Andrés (1)

2008

  1. 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