Maximiliano Klemen
The information in this page may be outdated, as Maximiliano Klemen is currently not a member of the Institute.
Research Interests
Static analysis of non-functional global properties (e.g. resource consumption properties) - Abstract Interpretation