Maximiliano Klemen

La información de esta página podría estar desactualizada debido a que Maximiliano Klemen no es actualmente miembro del Instituto.

BSc - Universidad Nacional del Comahue (UNCo), Argentina
Antiguo PhD Student

Tutor: Pedro López

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Static analysis of non-functional global properties (e.g. resource consumption properties) - Abstract Interpretation