José Morales - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Mon 25 Jan 2016

Name:José Morales

Country:Spain

Affiliation:IMDEA Software Institute

Personal website: http://software.imdea.org/people/josef.morales/index.html

Contributions

2024

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2024-track
An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants

Show activities from other conferences

SPLASH 2024-profile
View general profile