Login / Signup

Vitoria Pinho

ORCID

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Provably Correct
Program Code
Image Sequences
Automatic Programming

Top Venues

SBAC-PAD
Publications