César A. Muñoz

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Branch And Bound Method

Formal Analysis

Recursive Functions

Top Venues

J. Autom. Reason.

Publications