André Nascimento

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
DegreeLicenciatura Pos Bolonha

Room320
Emailandreffnascimento(at)inesc-id.pt