A. Germán Márquez

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Satisfiability Modulo Theories

Software Development Projects

Monte Carlo Simulation

Impact Analysis

Top Venues

J. Syst. Softw.

Publications