Not registered as user yet

Name:Manuel Barbosa
Country:Portugal
Affiliation:HASLab - INESC TEC and FCUP

Contributions

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

Using general profile