Sérgio Campos

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 3

Top Topics

Temporal Properties

Formal Verification

Top Venues

Sao Paulo State University, Brazil (PHD)

Education History

Sao Paulo State University, Brazil

PHD