conf.researchr.org / Léon Gondelman
Not registered as user yet
Name:Léon Gondelman
Affiliation:Aarhus University
Contributions
| POPL 2021 | Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the POPL-track |