MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
ENRIQUE
MARTÍN MARTÍN
Profesor titular de universidad
Publikationen, an denen er mitarbeitet ENRIQUE MARTÍN MARTÍN (3)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288