ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Tesis doctoral
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid
Tribunales de tesis (1)
-
Secretario del tribunal
Verification of Concurrent Systems: optimality, Scalability and Applicability 2020Universidad Complutense de Madrid