António Rito Silva

Publication Activity (10 Years)

Years Active: 1995-2025
Publications (10 Years): 31

Top Topics

Formal Verification

Software Engineering

Malicious Behavior

Dynamic Analysis

Top Venues

Publications