Registered user since Mon 4 Jan 2021
Name:Mário Pereira
Country:Portugal
Affiliation:NOVA LINCS & DI -- Nova School of Science and Technology
Personal website: https://mariojppereira.github.io/
Contributions
2023
ICFP
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
- Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
ICFP 2023-profile
View general profile
View general profile