Jose
Divasón Mallagaray
PROFESOR CONTRATADO DOCTOR -TIPO 1
Angel Luis
Rubio García
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con Angel Luis Rubio García (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