Daniel Jurjo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Complex Domains

Top Venues

Publications

Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR (2023)