Manuel Bravo -

Not registered as user

Name:Manuel Bravo

Affiliation:Informal Systems

Personal website: https://angbrav.github.io/

Contributions

2027

FRIDA

Committee Member in Program Committee within the FRIDA 2027 (Workshop on Formal Reasoning in Distributed Algorithms)-track