Not registered as user yet

Name:Felipe Gorostiaga
Affiliation:IMDEA Software Institute

Contributions

APLAS 2020 Author of Declarative Stream Runtime Verification (hLola) within the Research Papers-track