Guillermo Román-Díez - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Not registered as user yet

Name:Guillermo Román-Díez

Country:Spain

Affiliation:Universidad Politécnica de Madrid

Contributions

2024

ISSTA

Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile