Statistics
Publications
2
Citations
46
H-Index
2
Active since
2020
Affiliations
Universidad Complutense de Madrid(Current)
Clara Rodríguez-Núñez is an author at Universidad Complutense de Madrid specializing in data security, formal verification, and formal methods.
Publications per year
2020–2023
2
2
Taming callbacks for smart contract modularity
Elvira Albert, Shelly Grossman, Noam Rinetzky et al. · Proceedings of the ACM on Programming Languages · 2020 · 27 citations · Full text
1–2 of 2