Login / Signup
José A. Galindo
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 37
Top Topics
Satisfiability Modulo Theories
Product Line
Data Visualization
Literature Review
Top Venues
SPLC (A)
SPLC (B)
CoRR
Empir. Softw. Eng.
</>
Publications
</>