![Foto de RUBÉN RAFAEL](/img/nophoto.png)
RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante doctor
Tesis doctoral
-
Model checking of strategy-controlled systems in rewriting logic 2022
Universidad Complutense de Madrid