Mariano M. Moscato

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Provably Correct

Formal Analysis

Recursive Functions

Top Venues

Publications