conf.researchr.org / Mário Pereira
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
2024
2023
ICFP
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the ICFP Papers and Events-track
- Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the Artifact Evaluation-track