Publicacions en què col·labora amb Jonathan Heras Vicente (5)

2019

  1. Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

    Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática

2018

  1. Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

    Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

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

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63