ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Thesis
-
Sistemas de tipos en lenguajes lógico-funcionales 2012
Universidad Complutense de Madrid
Theses Committees (1)
-
Secretary of the Committee
Verification of Concurrent Systems: optimality, Scalability and Applicability 2020Universidad Complutense de Madrid