Login / Signup
Clara Rodríguez-Núñez
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Knowledge Representation
Supply Chain
Theorem Prover
Automated Reasoning
Top Venues
Proc. ACM Program. Lang.
CAV (1)
IJCAR
IEEE Trans. Dependable Secur. Comput.
</>
Publications
</>