Publicaciones en las que colabora con Laureano Lambán Pardo (2)

2010

  1. Contribuciones científicas en honor de Mirian Andrés Gómez

    Universidad de La Rioja

2007

  1. Executing in Common Lisp, Proving in ACL2.

    Lecture Notes in Computer Science, Vol. 4573 LNAI, pp. 1-12