Registered user since Fri 10 Feb 2023

Name:Ana Carolina Silva
Country:Portugal
Affiliation:FCUP

Contributions

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

POPL 2023-profile
View general profile