conf.researchr.org / Léon Gondelman
Not registered as user yet
Name:Léon Gondelman
Country:Denmark
Affiliation:Aarhus University
Contributions
2023
ICFP
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the Artifact Evaluation-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the ICFP Papers and Events-track