JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
Doktorego-tesia
-
Maude como marco semántico ejecutable 2003
Universidad Complutense de Madrid
Zuzendutako tesiak (3)
-
Model checking of strategy-controlled systems in rewriting logic 2022
Universidad Complutense de Madrid
-
Composición en lógica de reescritura 2021
Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Depuración declarativa y verificación heterogénea en Maude 2011
Universidad Complutense de Madrid
Tesi epaimahaiak (1)
-
Epaimahaiko Secretario
Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014Universidad Complutense de Madrid
Torres de Alba, Roberto