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