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

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

2001

  1. Hidden Specification of a Functional System

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