Publicacions en què col·labora amb Laureano Lambán Pardo (6)

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

2013

  1. Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

    Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

2007

  1. Object Oriented Institutions to Specify Symbolic Computation System

    RAIRO - Informatique Théorique et Applications, Vol. 41, Núm. 2, pp. 191-214

2006

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings

2005

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems.

    Dagstuhl Seminar Proceedings

2001

  1. Hidden Specification of a Functional System

    Lecture Notes in Computer Science, Vol. 2178 LNCS, pp. 555-569