Not registered as user yet

Name:Ana Carolina Silva
Country:Portugal
Affiliation:FCUP

Contributions

PADL 2023 Execution Time Program Verification With Tight Bounds
Show activities from other conferences

Using general profile