André Nunes Silva

UnitAutomated Reasoning and Software Reliability (ARSR)
RoleEarly Stage Researcher
DegreeLicenciatura Pos Bolonha
ResearcherID1B1C-5555-FC7D

Extension2313
Emailandre.a.n.silva(at)inesc-id.pt