José A. Galindo

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 37

Top Topics

Satisfiability Modulo Theories

Data Visualization

Literature Review

Top Venues

Empir. Softw. Eng.

Publications