Claudio de la Riva

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 16

Top Topics

Clinical Practice Guidelines

Symbolic Execution

Top Venues

IEEE Trans. Software Eng.

Publications