Jose
Divasón Mallagaray
PROFESOR CONTRATADO DOCTOR -TIPO 1
Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con Jonathan Heras Vicente (5)
2019
-
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
-
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
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63