ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Doktorego-tesia
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid
Tesi epaimahaiak (1)
-
Epaimahaiko Secretario
Verification of Concurrent Systems: optimality, Scalability and Applicability 2020Universidad Complutense de Madrid