André Nunes Silva

Unit Automated Reasoning and Software Reliability (ARSR) Role Early Stage Researcher Degree Licenciatura Pos Bolonha ResearcherID 1B1C-5555-FC7D Extension 2313 Email andre.a.n.silva(at)inesc-id.pt