Rodrigo Benedito Otoni
- Login: otonir@usi.ch
- Registered on: 21/08/2019
- Last connection: 22/05/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| verify solidity contracts | Developer | 21/08/2019 |
| verify witness evaluation | Developer | 27/11/2020 |